@inproceedings{RASR99a,
author = {Alvaro Ruiz-Andino and Lourdes Araujo and Fernando S?enz and Jose Ruz},
booktitle = {Parallel Computing Technologies: 5th International Conference, PaCT-99, St. Petersburg, Russia, September 
1999. Proceedings},
number = {1962},
pages = {466--472},
publisher = {Springer-Berlin},
series = {LNCS},
title = {Parallel Implementation of Constraint Solving},
year = {1999}
}