A CLP Language Handling Disjunctions of Linear Constraints

Cite this paper

@inproceedings{Backer1993ACL, title={A CLP Language Handling Disjunctions of Linear Constraints}, author={Bruno De Backer and Henri Beringer}, booktitle={ICLP}, year={1993} }