Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (1997). A Superposition Calculus for Divisible Torsion-Free Abelian Groups. In M. P. Bonacina, & U. Furbach (Eds.), Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97) (pp. 130-134). Linz, Austria: Johannes Kepler Universität.