Hélène Kirchner, Christophe Ringeissen. Constraint Solving by Narrowing in Combined Algebraic Domains. In ICLP. pages 617-631, 1994.
@inproceedings{KirchnerR94, title = {Constraint Solving by Narrowing in Combined Algebraic Domains}, author = {Hélène Kirchner and Christophe Ringeissen}, year = {1994}, tags = {constraints, algebra}, researchr = {https://researchr.org/publication/KirchnerR94}, cites = {0}, citedby = {0}, pages = {617-631}, booktitle = {ICLP}, }