Sarna-Starosta, Beata and Schrijvers, Tom. An efficient term representation for CHR indexing. Proceedings of CICLOPS 2008: 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems, . Carro, Manuel and Demoen, Bart, eds. pp. 1-15, 2008.

BibTeX

@inproceedings{_199926,
  author = {Sarna-Starosta, Beata and Schrijvers, Tom},
  title = {An efficient term representation  for {CHR} indexing},
  booktitle = {Proceedings of CICLOPS 2008: 8th International Colloquium on Implementation of Constraint and LOgic Programming Systems, },
  editor = {Carro, Manuel and Demoen, Bart},
  pages = {1-15},
  year = {2008},
  url = {https://lirias.kuleuven.be/handle/123456789/199926},
}