@inproceedings{CLL04b,
author = {J.M.~Cleva and J.~Leach and F.J.~L\'{o}pez-Fraguas},
booktitle = {Proc. 13th International Workshop of Fucntional and (Constraint) Logic Programming (WFLP'04)},
note = {Technical Report AIB-2004-05},
pages = {33--48},
publisher = {RWTH Aachen},
title = {A logical approach to the verification of functional-logic programs},
projects = {},
butype = {workshop},
year = {2004}
}