A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups.

Dallas Lankford Gregory Butler II A. Michael Ballantyne A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. 128-141 1984 conf/cade/1984 CADE db/conf/cade/cade84.html#LankfordBB84 http://dx.doi.org/10.1007/BFb0047118