Mark Hills 0001
Memory Representations in Rewriting Logic Semantics Definitions
WRLA, 2009.
@article{WRLA-2008-Hills09, author = "Mark Hills 0001", doi = "10.1016/j.entcs.2009.05.018", journal = "{Electronic Notes in Theoretical Computer Science}", number = 3, pages = "155--172", title = "{Memory Representations in Rewriting Logic Semantics Definitions}", volume = 238, year = 2009, }