Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
2001-2-001 (Any fulltext), 10KB
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.