@inproceedings{AFJV97,
 author = "M. Alpuente and M. Falaschi and P. Juli{\'a}n and G. Vidal",
 title = "Specialization of {L}azy {F}unctional {L}ogic {P}rograms",
 booktitle = pepm97,
 series = "Sigplan Notices",
 volume = "32, 12",
 publisher = "ACM Press",
 address = "New York",
 pages = "151-162",
 year = "1997"}