Decidability properties for fragments of CHR

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
January, 2010
PDF Cite DOI URL
Type
Journal article
Publication
TPLP