The expressive power of CHR with priorities

Cite this paper

@article{Gabbrielli2013TheEP, title={The expressive power of CHR with priorities}, author={Maurizio Gabbrielli and Jacopo Mauro and Maria Chiara Meo}, journal={Inf. Comput.}, year={2013}, volume={228}, pages={62-82} }