Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dug40 (Publisher version)
Bachmair, L., Ganzinger, H., & Waldmann, U. (1992). Theorem Proving for Hierarchic First-order Theories. In H. Kirchner, & G. Levi (Eds.), Algebraic and Logic Programming (pp. 420-434). Berlin, Germany: Springer.