Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky. Unfolding for CHR programs. TPLP, 15(3):264-311, 2015. [doi]
@article{GabbrielliMTW15, title = {Unfolding for CHR programs}, author = {Maurizio Gabbrielli and Maria Chiara Meo and Paolo Tacchella and Herbert Wiklicky}, year = {2015}, doi = {10.1017/S1471068413000288}, url = {http://dx.doi.org/10.1017/S1471068413000288}, researchr = {https://researchr.org/publication/GabbrielliMTW15}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {15}, number = {3}, pages = {264-311}, }