@article{CP06,
author = {J.M.~Cleva and I.~Pita},
journal = {Journal of Universal Computer Science},
number = {11},
pages = {1594--1617},
title = {Verification of {CRWL} Programs with Rewriting Logic},
volume = {12},
projects = {MERIT,PROMESAS},
butype = {article},
year = {2006}
}