Uwe Waldmann. Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. In Harald Ganzinger, David A. McAllester, Andrei Voronkov, editors, Logic Programming and Automated Reasoning, 6th International Conference, LPAR 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings. Volume 1705 of Lecture Notes in Computer Science, pages 131-147, Springer, 1999.
Abstract is missing.