Kim Marriott, Peter J. Stuckey
The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering
POPL, 1993.
@inproceedings{POPL-1993-MarriottS,
author = "Kim Marriott and Peter J. Stuckey",
booktitle = "{Conference Record of the 20th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/158511.158685",
editor = "Mary S. Van Deusen and Bernard Lang",
isbn = "0-89791-560-7",
pages = "334--344",
publisher = "{ACM Press}",
title = "{The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering}",
year = 1993,
}