Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dwZcc (Publisher version)
Ganzinger, H., & Stuber, J. (1992). Inductive Theorem Proving by Consistency for First-order Clauses. In M. Rusinowitch, & J.-L. Rémy (Eds.), Conditional Term Rewriting Systems (pp. 226-241). Berlin, Germany: Springer.