Karl Schlechta
-
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)