BaumgartnerG99'

BibTeX

@inproceedings{DBLP:conf/ijcai/BaumgartnerG99,
  author    = {Robert Baumgartner and
               Georg Gottlob},
  title     = {On the Complexity of Model Checking for Propositional Default
               Logics: New Results and Tractable Cases},
  booktitle = {IJCAI},
  year      = {1999},
  pages     = {64-69},
  crossref  = {DBLP:conf/ijcai/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/99,
  editor    = {Thomas Dean},
  title     = {Proceedings of the Sixteenth International Joint Conference
               on Artificial Intelligence, IJCAI 99, Stockholm, Sweden,
               July 31 - August 6, 1999. 2 Volumes, 1450 pages},
  publisher = {Morgan Kaufmann},
  year      = {1999},
  isbn      = {1-55860-613-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}