@inproceedings{conf/icfp/Pareja-FloresV97,
  added-at = {2010-01-10T00:00:00.000+0100},
  author = {Pareja-Flores, Cristóbal and Velázquez-Iturbide, J. Ángel},
  biburl = {http://www.bibsonomy.org/bibtex/25205f3e01000e416798e3522a5dd45bc/dblp},
  booktitle = {ICFP},
  date = {2010-01-10},
  description = {dblp},
  ee = {http://doi.acm.org/10.1145/258948.258986},
  interhash = {a1cbd4a4cc17f0b9279198fd9a15d99d},
  intrahash = {5205f3e01000e416798e3522a5dd45bc},
  keywords = {dblp},
  pages = 317,
  timestamp = {2010-01-10T00:00:00.000+0100},
  title = {Synthesis of Functions by Transformations and Constraints.},
  url = {http://dblp.uni-trier.de/db/conf/icfp/icfp97.html#Pareja-FloresV97},
  year = 1997
}