@article{AHV02ucm,
author = {E.~Albert and M.~Hanus and G.~Vidal},
journal = {Information Processing Letters},
number = {1},
pages = {19-25},
title = {A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs},
volume = {85},
projects = {},
butype = {article},
year = {2003}
}