Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer. Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. ACM Trans. Comput. Log., 21(1), 2020. [doi]
@article{HellaKMV20,
title = {Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics},
author = {Lauri Hella and Antti Kuusisto and Arne Meier and Heribert Vollmer},
year = {2020},
doi = {10.1145/3356043},
url = {https://doi.org/10.1145/3356043},
researchr = {https://researchr.org/publication/HellaKMV20},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {21},
number = {1},
}