@inproceedings{conf/ijcai/BaumgartnerG99,
  title = "On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases",
  author = "Robert Baumgartner and Georg Gottlob",
  year = "1999",
  booktitle = "{Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages}",
  editor = "Thomas Dean",
  isbn = "1-55860-613-0",
  pages = "64-69",
  publisher = "Morgan Kaufmann",
}