Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (1998). Superposition for Divisible Torsion-Free Abelian Groups. In C. Kirchner, & H. Kirchner (Eds.), Proceedings of the 15th International Conference on Automated Deduction (CADE-98) (pp. 144-159). Berlin, Germany: Springer.