ML Anthology
Authors
Search
About
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