@inproceedings{CP05,
author = {J.M.~Cleva and I.~Pita},
booktitle = {Actas V Jornadas sobre Programaci\'{o}n y Lenguajes, PROLE 2005},
editor = {Francisco L\'{o}pez-Fraguas},
pages = {139--148},
publisher = {Thomson},
title = {An approach to the verification of {CRWL} programs with rewriting logic},
projects = {MERIT,PROMESAS},
butype = {inproceedings},
year = {2005}
}