Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Nieuwenhuis, Robert Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, H., & Nieuwenhuis, R. (2001). Constraints and Theorem Proving. In H., Comon, C., Marché, & R., Treinen (Eds.), Contraints in Computational Logics, International Summer School (CCL-99) (pp. 159-201). Berlin, Germany: Springer.