Daniel J. Lehmann;Menachem Magidor
-;-
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)