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 = {10.1093/logcom/exi015}, url = {http://dx.doi.org/10.1093/logcom/exi015}, tags = {graph-rewriting, e-science, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/Marti-OlietPFMM05}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {15}, number = {3}, pages = {317-352}, }