Daniel J. Lehmann Menachem Magidor What does a Conditional Knowledge Base Entail? 1-60 1992 55 Artif. Intell. 1 db/journals/ai/ai55.html#LehmannM92