Analysing the CHR Implementation of Union-Find

Tom Schrijvers, Thom W. Frühwirth. Analysing the CHR Implementation of Union-Find. In Armin Wolf, Thom W. Frühwirth, Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Volume 2005-01 of Ulmer Informatik-Berichte, pages 135-146, Universität Ulm, Germany, 2005.

@inproceedings{SchrijversF05,
  title = {Analysing the CHR Implementation of Union-Find},
  author = {Tom Schrijvers and Thom W. Frühwirth},
  year = {2005},
  researchr = {https://researchr.org/publication/SchrijversF05},
  cites = {0},
  citedby = {0},
  pages = {135-146},
  booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005},
  editor = {Armin Wolf and Thom W. Frühwirth and Marc Meister},
  volume = {2005-01},
  series = {Ulmer Informatik-Berichte},
  publisher = {Universität Ulm, Germany},
}