The 3 R’s of Optimizing Constraint Logic Programs: Renement, Removal, and Reordering (1992)

by K Marriott, P Stuckey
Venue:In 19th Annual ACM Conf. on Principles of Programming Languages. ACM