Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-207.pdf (Any fulltext), 149KB
Bockmayr, A.(1994). Cutting planes in constraint logic programming (MPI-I-94-207). Saarbrücken: Max-Planck-Institut für Informatik.