Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, J. (1998). Superposition theorem proving for abelian groups represented as integer modules. Theoretical Computer Science, 208(1/2), 149-177.