Unfolding for CHR programs

Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky. Unfolding for CHR programs. TPLP, 15(3):264-311, 2015. [doi]

Abstract

Abstract is missing.