Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
A Methodology for Managing Hard Constraints in CLP Systems
PLDI, 1991.
@inproceedings{PLDI-1991-JaffarMY,
author = "Joxan Jaffar and Spiro Michaylov and Roland H. C. Yap",
booktitle = "{Proceedings of the 12th Conference on Programming Language Design and Implementation}",
doi = "10.1145/113445.113471",
editor = "David S. Wise",
isbn = "0-89791-428-7",
pages = "306--316",
publisher = "{ACM}",
title = "{A Methodology for Managing Hard Constraints in CLP Systems}",
year = 1991,
}