For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP

Robert Cremanns Friedrich Otto For Groups the Property of Having Finite Derivation Type is Equivalent to the Homological Finiteness Condition FP_3. 155-177 1996 22 J. Symb. Comput. 2 db/journals/jsc/jsc22.html#CremannsO96