Complexity of Model Checking for Modal Dependence Logic.

Johannes Ebbing, Peter Lohmann

Browse the full SOFSEM paper archive.