@misc{indiciae6479eb8c41dc,
  title = {Model Checking and Validity in Propositional and Modal Inclusion Logics},
  author = {Lauri Hella and Antti Kuusisto and Arne Meier and Jonni Virtema},
  year = {2017},
  url = {https://arxiv.org/abs/1609.06951},
  note = {Source identifier: 1609.06951}
}