@inproceedings{CLL04,
author = {J.M.~Cleva and J.~Leach and F.J.~L\'{o}pez-Fraguas},
booktitle = {PPDP'04},
pages = {9-19},
title = {A logic programming approach to the verification of functional-logic programs},
projects = {},
butype = {inproceedings},
year = {2004}
}