@misc{indiciae9e46899797bc,
  title = {Specification and Automatic Verification of Computational Reductions},
  author = {Julien Grange and Fabian Vehlken and Nils Vortmeier and Thomas Zeume},
  year = {2024},
  url = {https://arxiv.org/abs/2407.04037},
  note = {Source identifier: 2407.04037}
}