Transformations of CCP Programs. - Etalle, Sandro; Gabbrielli, Maurizio; Meo, Maria Chiara (ACM Transactions on Programming Languages & Systems, 2001)