The expressive power of CHR with priorities

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