Timothy J. Hickey
CLP* and Constraint Abstraction
POPL, 1989.
@inproceedings{POPL-1989-Hickey, author = "Timothy J. Hickey", booktitle = "{Conference Record of the 16th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/75277.75288", isbn = "0-89791-294-2", pages = "125--133", publisher = "{ACM Press}", title = "{CLP* and Constraint Abstraction}", year = 1989, }