Marc Meister, Khalil Djelloul, Thom W. Frühwirth. Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. In Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi, editors, Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. Volume 4651 of Lecture Notes in Computer Science, pages 139-153, Springer, 2006. [doi]
Abstract is missing.