Benjamin Benninghofen

	1987
2		Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter: Systems of Reductions Springer 1987
	1986
1		Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CADE 1986: 665-667

Coauthor Index

1	Jürgen Avenhaus	[1]
2	Rüdiger Göbel	[1]
3	Susanne Kemmerich	[2]
4	Klaus Madlener	[1]
5	Michael M. Richter	[2]