Deepak Kapur Hantao Zhang Proving Equivalence of Different Axiomatizations of Free Groups. 331-352 1988 4 J. Autom. Reasoning 3 db/journals/jar/jar4.html#KapurZ88