Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Korovin, Konstantin Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., & Korovin, K. (2003). New Directions in Instantiation-Based Theorem Proving. In 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03) (pp. 55-64). Los Alamitos, USA: IEEE.