"Normal Forms for Defeasible Logic."

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