1. Using rewriting techniques to solve the generalized word problem in polycyclic groups;Avenhaus,1989
2. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal;Buchberger,1965
3. String Rewriting Systems;Book,1993
4. Finiteness conditions for rewriting systems;Cremanns,1995
5. Constructing canonical presentations for subgroups of context-free groups in polynomial time;Cremanns,1994