Hubert Comon, Claude Kirchner. Constraint Solving on Terms. In Hubert Comon, Claude Marché, Ralf Treinen, editors, Constraints in Computational Logics: Theory and Applications, International Summer School, CCL 99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Volume 2002 of Lecture Notes in Computer Science, pages 47-103, Springer, 1999. [doi]
Abstract is missing.