Björn Carlson, Mats Carlsson, Daniel Diaz. Entailment of Finite Domain Constraints. In ICLP. pages 339-353, 1994.
@inproceedings{CarlsonCD94, title = {Entailment of Finite Domain Constraints}, author = {Björn Carlson and Mats Carlsson and Daniel Diaz}, year = {1994}, tags = {constraints}, researchr = {https://researchr.org/publication/CarlsonCD94}, cites = {0}, citedby = {0}, pages = {339-353}, booktitle = {ICLP}, }