Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, J. (1998). Superposition theorem proving for commutative rings. In W. Bibel, & P. H. Schmitt (Eds.), Automated Deduction - A Basis for Applications. Volume III. Applications (pp. 31-55). Dordrecht, The Netherlands: Kluwer.