@misc{indiciae07b27150f93c,
  title = {Static Analysis of Graph Database Transformations},
  author = {Iovka Boneva and Benoit Groz and Jan Hidders and Filip Murlak and Slawomir Staworko},
  year = {2023},
  url = {https://arxiv.org/abs/2304.05070},
  note = {Source identifier: 2304.05070}
}