Decidability properties for fragments of CHR

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers. Decidability properties for fragments of CHR. TPLP, 10(4-6):611-626, 2010. [doi]

Abstract

Abstract is missing.