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]
@inproceedings{MeisterDF06,
title = {Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees},
author = {Marc Meister and Khalil Djelloul and Thom W. Frühwirth},
year = {2006},
doi = {10.1007/978-3-540-73817-6_9},
url = {http://dx.doi.org/10.1007/978-3-540-73817-6_9},
researchr = {https://researchr.org/publication/MeisterDF06},
cites = {0},
citedby = {0},
pages = {139-153},
booktitle = {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},
editor = {Francisco Azevedo and Pedro Barahona and François Fages and Francesca Rossi},
volume = {4651},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73816-9},
}