Karin Hörwein

	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

Coauthor Index

1

Matthias Baaz

[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page