@article{DBLP:journals/ai/SchaubB98,
  author = {Schaub, Torsten and Br{\"{u}}ning, Stefan},
  title = {Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques},
  journal = {Artif. Intell.},
  volume = {106},
  number = {1},
  pages = {1--75},
  year = {1998}
}