@inproceedings{Hickey89,
  title = {CLP* and Constraint Abstraction},
  author = {Timothy J. Hickey},
  year = {1989},
  tags = {constraints, abstraction},
  researchr = {https://researchr.org/publication/Hickey89},
  cites = {0},
  citedby = {0},
  pages = {125-133},
  booktitle = {POPL},
}