Martin Caminada On the Issue of Contraposition of Defeasible Rules. 109-115 2008 COMMA conf/comma/2008 db/conf/comma/comma2008.html#Caminada08