@article{AFV98,
 author = "M. Alpuente and M. Falaschi and G. Vidal", 
 title = "{P}artial {E}valuation of {F}unctional {L}ogic {P}rograms",
 journal = "ACM Transactions on Programming Languages and Systems",
 publisher = "ACM Press",
 address = "New York",
 volume = 20,
 number = 4,
 year = 1998,
 pages = "768-844"}