Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (2001). Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract). In R. Goré, A. Leitsch, & T. Nipkow (Eds.), Automated reasoning: First International Joint Conference, IJCAR 2001 (pp. 226-241). Berlin, Germany: Springer.