TY  - RPRT
TI  - Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice
AU  - Julian-Steffen Müller
AU  - Heribert Vollmer
PY  - 2013
UR  - https://arxiv.org/abs/1303.6424
ID  - 1303.6424
ER  -