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

by S Etalle, M Gabbrielli, E Marchiori
Venue:ACM{SIGPLAN Symposium on Partial Evaluation and Semantic Based Program Manipulation