Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Korovin, Konstantin Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., & Korovin, K. (2006). Theory Instantiation. In M. Hermann, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006 (pp. 497-511). Berlin, Germany: Springer.