@inproceedings{RASR98a, author = {Alvaro Ruiz-Andino and Lourdes Araujo and F. Saenz and Jose J. Ruz}, booktitle = {Implementation Technology for Programming Languages based on Logic}, pages = {86-100}, title = {Parallel Arc-Consistency for Functional Constraints}, year = {1998} }