%0 Journal Article %1 journals/tocl/HellaKMV20 %A Hella, Lauri %A Kuusisto, Antti %A Meier, Arne %A Vollmer, Heribert %D 2020 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 7:1-7:18 %T Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics. %U http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#HellaKMV20 %V 21

@article{journals/tocl/HellaKMV20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Hella, Lauri and Kuusisto, Antti and Meier, Arne and Vollmer, Heribert}, biburl = {https://www.bibsonomy.org/bibtex/2b6786e54e7e68ff246c43c6e492fedcb/dblp}, ee = {https://doi.org/10.1145/3356043}, interhash = {2dad1f444724bd5d3c6ff2105e92213e}, intrahash = {b6786e54e7e68ff246c43c6e492fedcb}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {7:1-7:18}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl21.html#HellaKMV20}, volume = 21, year = 2020 }