Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups.

Uwe Waldmann

Browse the full LPAR paper archive.