Stuber, J. (1998). Superposition theorem proving for abelian groups represented as integer modules. Theoretical Computer Science, 208(1/2), 149-177.