The expressive power of CHR with priorities

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo
January 2013
PDF DOI
Type
Journal article
Publication
Inf. Comput.