Paolo Liberatore Consistency Defaults. 89-110 2007 86 Studia Logica 1 http://dx.doi.org/10.1007/s11225-007-9047-8 db/journals/sLogica/sLogica86.html#Liberatore07