@misc{indiciae9c54948c2dbe,
  title = {Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice},
  author = {Julian-Steffen Müller and Heribert Vollmer},
  year = {2013},
  url = {https://arxiv.org/abs/1303.6424},
  note = {Source identifier: 1303.6424}
}