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.