@article{journals/tcs/BaumgartnerG02,
  title = "Propositional default logics made easier: computational complexity of model checking",
  author = "Robert Baumgartner and Georg Gottlob",
  year = "2002",
  journal = "Theor. Comput. Sci.",
  number = "1",
  pages = "591-627",
  volume = "289",
}