Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-251.pdf (Any fulltext), 203KB
Hanus, M.(1992). Analysis of nonlinear constraints in CLP(R) (MPI-I-92-251). Saarbrücken: Max-Planck-Institut für Informatik.