Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap. A Methodology for Managing Hard Constraints in CLP Systems. In PLDI. pages 306-316, 1991.
@inproceedings{JaffarMY91, title = {A Methodology for Managing Hard Constraints in CLP Systems}, author = {Joxan Jaffar and Spiro Michaylov and Roland H. C. Yap}, year = {1991}, tags = {constraints, C++}, researchr = {https://researchr.org/publication/JaffarMY91}, cites = {0}, citedby = {0}, pages = {306-316}, booktitle = {PLDI}, }