Harald Ganzinger, Jürgen Stuber. Inductive Theorem Proving by Consistency for First-Order Clauses. In Johannes Buchmann 0001, Harald Ganzinger, Wolfgang J. Paul, editors, Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Volume 1 of Teubner-Texte zur Informatik, pages 441-461, Teubner / Springer, 1992. [doi]
Abstract is missing.