@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 = "Proc. of the ACM SIGPLAN Conf. on Partial Evaluation
	      and Semantics-Based Program Manipulation, PEPM'97",
 series = "Sigplan Notices",
 volume = "32(12)",
 publisher = "ACM Press",
 address = "New York",
 pages = "151-162", 
 year = 1997}