Analysis of Nonlinear Constraints in CLP(R).

Michael Hanus

Browse the full ICLP paper archive.