W. Marco Schorlemmer
Rewriting logic as a logic of special relations
WRLA, 1998.
@article{WRLA-1998-Schorlemmer,
author = "W. Marco Schorlemmer",
doi = "10.1016/S1571-0661(05)80013-1",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "196--217",
title = "{Rewriting logic as a logic of special relations}",
volume = 15,
year = 1998,
}