Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel. Proving termination of CHR in Prolog: A transformational approach. Proceedings of the 9th International Workshop on Termination, . Hofbauer, D. and Serebrenik, A., eds. pp. 30-33, 2007.

BibTeX

@inproceedings{_146256,
  author = {Pilozzi, Paolo and Schrijvers, Tom and De Schreye, Daniel},
  title = {Proving termination of {CHR} in {P}rolog: {A} transformational approach},
  booktitle = {Proceedings of the 9th International Workshop on Termination, },
  editor = {Hofbauer, D. and Serebrenik, A.},
  pages = {30-33},
  month = {Jun},
  year = {2007},
  url = {https://lirias.kuleuven.be/handle/123456789/146256},
}