Robert Cremanns Friedrich Otto Finite Derivation Type Implies the Homological Finiteness Condition FP_3. 91-112 1994 18 J. Symb. Comput. 2 db/journals/jsc/jsc18.html#CremannsO94