Michael Reinfrank Johan de Kleer Matthew L. Ginsberg Erik Sandewall Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings NMR Lecture Notes in Computer Science 346 Springer 1989 3-540-50701-9 db/conf/nmr/nmr88.html