Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract). - Robert Cremanns; Friedrich Otto (ISSAC, 1994)

Finite Derivation Type Implies the Homological Finiteness Condition FP_3. - Robert Cremanns; Friedrich Otto (J. Symb. Comput., 1994)

Finiteness conditions for rewriting systems. - Robert Cremanns (1995)

For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3. - Robert Cremanns; Friedrich Otto (J. Symb. Comput., 1996)

Prefix-Rewriting on Context-Free Groups. - Robert Cremanns (Appl. Algebra Eng. Commun. Comput., 1997)

A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles. - Robert Cremanns; Friedrich Otto (J. Autom. Reason., 2002)