"Computing Extensions of Nonmonotonic Logics."

Grigoris Antoniou, Volker Sperschneider (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics