Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (1999). Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. In H. Ganzinger, D. McAllester, & A. Voronkov (Eds.), Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) (pp. 131-147). Berlin, Germany: Springer.