Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark G. J. van den Brand, Steven Eker, Traian-Florin Serbanuta. Rewriting Logic Systems. Electronic Notes in Theoretical Computer Science, 176(4):233-247, 2007. [doi]
@article{DenkerTRBES07,
title = {Rewriting Logic Systems},
author = {Grit Denker and Carolyn L. Talcott and Grigore Rosu and Mark G. J. van den Brand and Steven Eker and Traian-Florin Serbanuta},
year = {2007},
doi = {10.1016/j.entcs.2007.06.018},
url = {http://dx.doi.org/10.1016/j.entcs.2007.06.018},
tags = {graph-rewriting, logic, rewriting logic, rewriting},
researchr = {https://researchr.org/publication/DenkerTRBES07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {176},
number = {4},
pages = {233-247},
}