Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Barth, P., & Bockmayr, A. (1995). Finite domain and cutting plane techniques in CLP (PB). In L. Sterling (Ed.), Proceedings of the Twelfth International Conference on Logic Programming (pp. 133-147). Cambridge, USA: MIT Press.