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. In Proceedings of Artificial intelligence and symbolic computation 2000 (pp. 142–156). Springer (Berlin).