Kannan Govindarajan, Bharat Jayaraman, Surya Mantha
Optimization and Relaxation in Constraint Logic Languages
POPL, 1996.
@inproceedings{POPL-1996-GovindarajanJM,
author = "Kannan Govindarajan and Bharat Jayaraman and Surya Mantha",
booktitle = "{Conference Record of the 23rd Symposium on Principles of Programming Languages}",
doi = "10.1145/237721.237735",
editor = "Hans-Juergen Boehm and Guy L. Steele Jr.",
isbn = "0-89791-769-3",
pages = "91--103",
publisher = "{ACM Press}",
title = "{Optimization and Relaxation in Constraint Logic Languages}",
year = 1996,
}