@misc{indiciaeefc2ebd28a26,
  title = {On the Verification of Logically Decorated Graph Transformations},
  author = {Jon Haël Brenas and Rachid Echahed and Martin Strecker},
  year = {2018},
  url = {https://arxiv.org/abs/1803.02776},
  note = {Source identifier: 1803.02776}
}