@article{CGwflp06,
author = {R.~Caballero and Y.~Garc\'{\i}a-Ruiz},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {153-168},
publisher = {Elsevier Science},
title = {Implementing Dynamic Cut in Toy},
volume = {177},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2007}
}