@inproceedings{DBLP:conf/jelia/LinkeS98, title = {An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem}, author = {Linke, Thomas and Schaub, Torsten}, booktitle = {{JELIA}}, pages = {233--247}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {1489}, year = {1998} }