| |
| 1997 | ||
|---|---|---|
| 2 | Karin Hörwein: Structuring Resolution Proofs by Introducing New Lemmata. J. Autom. Reasoning 19(2): 173-203 (1997) | |
| 1994 | ||
| 1 | Matthias Baaz, Karin Hörwein: A New Frame For Common-Sense Reasoning - Towards Local Inconsistencies. KI 1994: 392 | |
| 1 | Matthias Baaz | [1] |