Peter Borovansky, Carlos Castro. Cooperation of Constraint Solvers: Using the New Process Control Facilities of ELAN.
Proceedings of The Second International Workshop on Rewriting Logic & its Applications, WRLA'98, 1998, Pont-à-Mousson, France, pp.379-398.
⟨inria-00098516⟩