Grit Denker, Carolyn L. Talcott, Grigore Rosu, Mark van den Brand, Steven Eker, Traian-Florin Serbanuta
Rewriting Logic Systems
WRLA, 2007.
@article{WRLA-2006-DenkerTRBES07,
author = "Grit Denker and Carolyn L. Talcott and Grigore Rosu and Mark van den Brand and Steven Eker and Traian-Florin Serbanuta",
doi = "10.1016/j.entcs.2007.06.018",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 4,
pages = "233--247",
title = "{Rewriting Logic Systems}",
volume = 176,
year = 2007,
}