@inproceedings{DBLP:conf/plilp/Arenas-SanchezGL94,
author = {P.~Arenas-S{\'{a}}nchez and A.~Gil-Luezas and F.J.~L{\'{o}}pez-Fraguas},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {PLILP},
crossref = {DBLP:conf/plilp/1994},
pages = {385-399},
title = {Combining Lazy Narrowing with Disequality Constraints.},
projects = {},
butype = {inproceedings},
year = {1994}
}