Wolfgang Lux. Adding Linear Constraints over Real Numbers to Curry. In María Alpuente, editor, 9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000. pages 427-439, 2000.
@inproceedings{Lux00:1,
title = {Adding Linear Constraints over Real Numbers to Curry},
author = {Wolfgang Lux},
year = {2000},
tags = {constraints},
researchr = {https://researchr.org/publication/Lux00%3A1},
cites = {0},
citedby = {0},
pages = {427-439},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP 2000, Benicassim, Spain, September 28-30, 2000},
editor = {María Alpuente},
}