@misc{indiciaed2f85dceac9b,
  title = {Linear-Time Graph Programs without Preconditions},
  author = {Ziad Ismaili Alaoui and Detlef Plump},
  year = {2025},
  doi = {10.4204/eptcs.417.3},
  url = {https://arxiv.org/abs/2503.20465},
  note = {Source identifier: 2503.20465}
}