Michael Hanus. Analysis of Nonlinear Constraints in CLP(R). In ICLP. pages 83-99, 1993.
@inproceedings{Hanus93,
title = {Analysis of Nonlinear Constraints in CLP(R)},
author = {Michael Hanus},
year = {1993},
tags = {analysis, constraints},
researchr = {https://researchr.org/publication/Hanus93},
cites = {0},
citedby = {0},
pages = {83-99},
booktitle = {ICLP},
}