Overview of Non-monotonic Deduction Systems. - Seiki Akama; Hiroto Ohnishi (IWAR, 1992)