@techreport{AAHV99tr,
 author = "E. Albert and M. Alpuente and M. Hanus and G. Vidal",
 title = "Specialization of {F}unctional {L}ogic {P}rograms
	  with {D}ynamic {S}cheduling",
 institution = "DSIC, Universidad Polit\'ecnica de Valencia",
 number = "DSIC-II/17/99",
 year = 1999
}