Paolo Pilozzi. Research Summary: Termination of CHR. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 534-535, Springer, 2009. [doi]
@inproceedings{Pilozzi09, title = {Research Summary: Termination of CHR}, author = {Paolo Pilozzi}, year = {2009}, doi = {10.1007/978-3-642-02846-5_51}, url = {http://dx.doi.org/10.1007/978-3-642-02846-5_51}, tags = {termination}, researchr = {https://researchr.org/publication/Pilozzi09}, cites = {0}, citedby = {0}, pages = {534-535}, booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, editor = {Patricia M. Hill and David Scott Warren}, volume = {5649}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02845-8}, }