Craig Boutilier Epistemic Entrenchment in autoepistemic logic. 5-29 1992 17 Fundam. Inform. 1-2 db/journals/fuin/fuin17.html#Boutilier92