@inproceedings{hills-2008-wrla,
  author    = {Mark Hills},
  booktitle = {Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA 2008)},
  title     = "{Memory Representations in Rewriting Logic Semantics Definitions}",
  publisher = "Elsevier",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = {238},
  number    = {3},
  pages     = {155--172},
  year      = {2009},
  doi       = {10.1016/j.entcs.2009.05.018},
}