@article{DBLP:journals/jar/Schaub95,
  title = {A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving},
  author = {Schaub, Torsten},
  journal = {J. Autom. Reasoning},
  number = {1},
  pages = {95--165},
  volume = {15},
  year = {1995}
}