@inproceedings{RCflops02,
address = {London, UK},
author = {R.~Caballero and F.J.~L\'{o}pez-Fraguas},
booktitle = {FLOPS '02: Proceedings of the 6th International Symposium on Functional and Logic Programming},
isbn = {3-540-44233-2},
pages = {245--258},
publisher = {Springer-Verlag},
title = {Dynamic-Cut with Definitional Trees},
projects = {},
butype = {inproceedings},
year = {2002}
}