P.J.: The 3 r’s of optimizing constraint logic programs: Refinement, removal and reordering (1993)

by K Marriott, Stuckey
Venue:In: POPL’93. Proc. of Symp. on Principles of Progr. Lang