@inproceedings{Vad07,
author = {R.~del Vado-V\'{\i}rseda},
booktitle = {ICTAC},
pages = {169-184},
title = {A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4711},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2007}
}