Alain Colmerauer. Naive Solving of Non-linear Constraints. In WCLP. pages 89-112, 1991.
@inproceedings{Colmerauer91, title = {Naive Solving of Non-linear Constraints}, author = {Alain Colmerauer}, year = {1991}, tags = {constraints}, researchr = {https://researchr.org/publication/Colmerauer91}, cites = {0}, citedby = {0}, pages = {89-112}, booktitle = {WCLP}, }