"Embedding Defeasible Logic into Logic Programs."

Grigoris Antoniou, Michael J. Maher (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics