David Billington Proving Quantified Literals in Defeasible Logic. 55-81 1999 116 Inf. Sci. 1 db/journals/isci/isci116.html#Billington99