Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum. A Verification Logic for Rewriting Logic. Journal of Logic and Computation, 15(3):317-352, 2005. [doi]
@article{Marti-OlietPFMM05,
title = {A Verification Logic for Rewriting Logic},
author = {Narciso Martí-Oliet and Isabel Pita and José Luiz Fiadeiro and José Meseguer and T. S. E. Maibaum},
year = {2005},
doi = {http://dx.doi.org/10.1093/logcom/exi015},
tags = {graph-rewriting, rewriting logic, rewriting, logic, e-science},
researchr = {http://researchr.org/publication/Marti-OlietPFMM05},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {15},
number = {3},
pages = {317-352},
}