Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
1999-2-003 (beliebiger Volltext), 10KB
Waldmann, U.(1999). Cancellative superposition decides the theory of divisible torsion-free abelian groups (MPI-I-1999-2-003). Saarbrücken: Max-Planck-Institut für Informatik.