@inproceedings{hills-rosu-2007-rta,
  author    = {Mark Hills and Grigore Rosu},
  title     = "{KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis}",
  booktitle = {Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007)},
  pages     = {246--256},
  series    = {Lecture Notes in Computer Science},
  volume    = {4533},
  publisher = {Springer},
  year      = {2007},
  doi       = {10.1007/978-3-540-73449-9_19},
}