Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). - Atsushi Togashi; Ben-Hui Hou; Shoichi Noguchi (KBCS, 1989)

Generalized Predicate Completion. - Atsushi Togashi; Ben-Hui Hou; Shoichi Noguchi (KBCS, 1989)