@misc{indiciaedd330d8f7e23,
  title = {Formalising the Double-Pushout Approach to Graph Transformation},
  author = {Robert Söldner and Detlef Plump},
  year = {2024},
  doi = {10.46298/lmcs-20(4:3)2024},
  url = {https://arxiv.org/abs/2312.15641},
  note = {Source identifier: 2312.15641}
}