A Transformation System for CLP with Dynamic Scheduling and CCP (1997)

by S Etalle, M Gabbrielli, E Marchiori
Venue:In Proc. of the ACM Sigplan PEPM’97