@techreport{CP05TR,
author = {J.M.~Cleva and I.~Pita},
institution = {Departamento de Sistemas Inform\'{a}ticos y Programaci\'{o}n. Universidad Complutense de Madrid},
number = {4/05},
title = {Verification of {CRWL} programs with rewriting logic},
projects = {MERIT,PROMESAS},
butype = {techreport},
year = {2005}
}