@inproceedings{rv-ppdp03,
author = {R.~del Vado-V\'{\i}rseda},
booktitle = {PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming},
isbn = {1-58113-705-2},
location = {Uppsala, Sweden},
pages = {253--263},
publisher = {ACM Press},
title = {A demand-driven narrowing calculus with overlapping definitional trees},
projects = {},
butype = {inproceedings},
year = {2003}
}