@inproceedings{ffe1866852e546469a1f679988ff27e8,
title = "Modal inclusion logic: being lax is simpler than being strict",
author = "Lauri Hella and Antti Kuusisto and Arne Meier and Heribert Vollmer",
year = "2015",
doi = "10.1007/978-3-662-48057-1_22",
language = "English",
isbn = "978-3-662-48056-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
number = "9234",
pages = "281--292",
editor = "Giuseppe Italiano and Giovanni Pighizzini and Sannella Donald",
booktitle = "Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I",
note = "International Symposium on Mathematical Foundations of Computer Science ; Conference date: 01-01-2015",
}