@misc{indiciae4c38501b8e80,
  title = {Compositional specification in rewriting logic},
  author = {Óscar Martín and Alberto Verdejo and Narciso Martí-Oliet},
  year = {2020},
  doi = {10.1017/s1471068419000425},
  url = {https://arxiv.org/abs/1908.11769},
  note = {Source identifier: 1908.11769}
}