Dorothea Schäfer

	1997
3		Gerd Neugebauer, Dorothea Schäfer: GLUE: Opening the World to Theorem Provers. LPNMR 1997: 411-420
	1996
2		Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg: On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546
1		Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg: Deduktion und Logisches Programmieren. KI 10(2): 34-39 (1996)

Coauthor Index

1	Chandrabose Aravindan	[2]
2	Peter Baumgartner	[1] [2]
3	Jürgen Dix	[1] [2]
4	Ulrich Furbach	[1] [2]
5	Gerd Neugebauer	[2] [3]
6	Ilkka Niemelä	[2]
7	Frieder Stolzenburg	[1] [2]