Robert C. Moore Semantical Considerations on Nonmonotonic Logic. 75-94 1985 25 Artif. Intell. 1 db/journals/ai/ai25.html#Moore85