A New Frame For Common-Sense Reasoning - Towards Local Inconsistencies. - Matthias Baaz; Karin Hörwein (KI, 1994)

Structuring Resolution Proofs by Introducing New Lemmata. - Karin Hörwein (J. Autom. Reason., 1997)