Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2001-2-001.pdf (Any fulltext), 428KB
Waldmann, U.(2001). Superposition and chaining for totally ordered divisible abelian groups (MPI-I-2001-2-001). Saarbrücken: Max-Planck-Institut für Informatik.