Merlijn Sevenster: Model-theoretic and Computational Properties of Modal Dependence Logic. J. Log. Comput. 19(6): 1157-1173 (2009)