Unfolding in CHR.

Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo

Browse the full PPDP paper archive.