@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} }