Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Voronkov, Andrei Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H. (2002). Shostak Light. In Automated deduction, CADE-18: 18th International Conference on Automated Deduction (pp. 332-346). Heidelberg, Germany: Springer.