Verónica Dahl. An Abductive Treatment of Long Distance Dependencies in CHR. In Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen, editors, Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers. Volume 3438 of Lecture Notes in Computer Science, pages 17-31, Springer, 2004. [doi]
Abstract is missing.