A progress report on new decision algorithms for finitely presented abelian groups (1984)

by D Lankford, G Butler, A Ballantyne
Venue:In Proceedings of the 7th International Conference on Automated Deduction, Lecture Notes in Computer Science