José Meseguer, Carolyn L. Talcott
Mapping OMRS to rewriting logic
WRLA, 1998.
@article{WRLA-1998-MeseguerT,
author = "José Meseguer and Carolyn L. Talcott",
doi = "10.1016/S1571-0661(05)82551-4",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "33--54",
title = "{Mapping OMRS to rewriting logic}",
volume = 15,
year = 1998,
}