Stefan Schmitgen

	1990
3		Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Equivalence of Propositional Prolog Programs. J. Autom. Reasoning 6(3): 319-335 (1990)
	1989
2		Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Inconsistency of Production Systems. Data Knowl. Eng. 3(4): 245-260 (1989)
	1988
1		Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Loop Detection in Propositional Prolog Programs. CSL 1988: 148-165

Coauthor Index

1	Hans Kleine Büning	[1] [2] [3]
2	Ulrich Löwen	[1] [2] [3]