"On the computational complexity of the theory of Abelian groups."

Libo Lo (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics