@misc{indiciaec12d9f7e2728,
  title = {Meta SOS - A Maude Based SOS Meta-Theory Framework},
  author = {Luca Aceto and Eugen-Ioan Goriac and Anna Ingolfsdottir},
  year = {2013},
  doi = {10.4204/eptcs.120.8},
  url = {https://arxiv.org/abs/1307.7446},
  note = {Source identifier: 1307.7446}
}