An Abductive Treatment of Long Distance Dependencies in CHR

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]

@inproceedings{Dahl04:0,
  title = {An Abductive Treatment of Long Distance Dependencies in CHR},
  author = {Verónica Dahl},
  year = {2004},
  doi = {10.1007/11424574_2},
  url = {http://dx.doi.org/10.1007/11424574_2},
  researchr = {https://researchr.org/publication/Dahl04%3A0},
  cites = {0},
  citedby = {0},
  pages = {17-31},
  booktitle = {Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers},
  editor = {Henning Christiansen and Peter Rossen Skadhauge and Jørgen Villadsen},
  volume = {3438},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26165-6},
}