Grigoris Antoniou Elmar Langetepe Volker Sperschneider New Proofs in Default Logic Theory. 215-229 1994 12 Ann. Math. Artif. Intell. 3-4 db/journals/amai/amai12.html#AntoniouLS94