@inproceedings{AHLV99,
  author = "M. Alpuente and M. Hanus and S. Lucas and G. Vidal",
  title = "{S}pecialization of {I}nductively {S}equential {F}unctional 
           {L}ogic {P}rograms",
  booktitle = "Proceedings of the Fourth {ACM} {SIGPLAN}
              International Conference on Functional Programming
  pages = "273--283",
  series = "ACM Sigplan Notices",
  volume = "34.9",
  publisher = "ACM Press",
  address = "N.Y.",
  year = "1999"
}