Unfold/Fold Transformations of CCP Programs.

Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

Browse the full CONCUR paper archive.