Thomas Linke, Torsten Schaub: An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem. JELIA 1998: 233-247