@inproceedings{Vad03,
author = {R.~del Vado-V\'{\i}rseda},
booktitle = {Proc. 5th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'03)},
pages = {213--227},
publisher = {ACM Press},
title = {A {D}emand-driven {N}arrowing {C}alculus with {O}verlapping {D}efinitional {T}rees},
projects = {},
butype = {inproceedings},
year = {2003}
}