Springer (Berlin)
Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation

Castro, C.& Monfroy, E. B. G. (2001). Basic operators for solving constraints via collaboration of solvers. Proceedings of Artificial Intelligence and Symbolic Computation 2000, 142–156.