A Correct Logic Programming Computation of Default Logic Extensions.

Grigoris Antoniou Elmar Langetepe A Correct Logic Programming Computation of Default Logic Extensions. 25-46 1997 18 J. Autom. Reasoning 1 db/journals/jar/jar18.html#AntoniouL97