@misc{misc, title  = {{Model Checking and Validity in Propositional and Modal Inclusion Logics}},

 url = {{}},

 year = {{2016}},

 month = {{9}},

 author = {{Hella L and Kuusisto A and Meier A and Virtema J}},

 note = {{Accessed on 2024/12/23}}}