Knowledge Processing and Information Systems
Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques

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