@misc{indiciaeacf59c0bf4b4,
  title = {Invariant Relations: A Bridge from Programs to Equations},
  author = {Wided Ghardallou and Hessamaldin Mohammadi and Elijah Brick and Ali Mili},
  year = {2023},
  url = {https://arxiv.org/abs/2310.04684},
  note = {Source identifier: 2310.04684}
}