@techreport{AFV98tr,
 author = "M. Alpuente and M. Falaschi and G. Vidal", 
 title = "Specialization of {F}unctional {L}ogic {P}rograms",
 institution = "DSIC, Universidad Polit\'ecnica de Valencia",
 number = "DSIC-II/11/98",
 year = 1998
}