David Poole A Logical Framework for Default Reasoning. 27-47 1988 36 Artif. Intell. 1 db/journals/ai/ai36.html#Poole88