Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Stuber, Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., & Stuber, J. (1992). Inductive Theorem Proving by Consistency for First‐order Clauses. In J. Buchmann, H. Ganzinger, & W. J. Paul (Eds.), Informatik - Festschrift zum 60. Geburtstag von Günter Hotz (pp. 441-462). Wiesbaden: Teubner.