Baumgartner, Robert

1 publications

IJCAI 1999 On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases Robert Baumgartner, Georg Gottlob