@inproceedings{Vad05,
author = { R.~del Vado-V\'{\i}rseda},
booktitle = {Proceedings of the 5th International Conference on Frontiers of Combining Systems (FroCoS'05)},
editor = {Bernhard Gramlich},
pages = {184-199},
publisher = {Springer},
series = {LNCS},
title = {Declarative Constraint Programming with Definitional Trees},
volume = {3717},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2005}
}