Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-261.pdf (Any fulltext), 126KB
Barth, P., & Bockmayr, A.(1994). Finite domain and cutting plane techniques in CLP (PB) (MPI-I-94-261). Saarbrücken: Max-Planck-Institut für Informatik.