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