Seiki Akama Hiroto Ohnishi Overview of Non-monotonic Deduction Systems. 47-56 1992 conf/iwar/1992 IWAR db/conf/iwar/iwar1992.html#AkamaO92