@misc{indiciaec32cbef6ec4c,
  title = {Invariants: Computation and Applications},
  author = {Irina A. Kogan},
  year = {2024},
  doi = {10.1145/3597066.3597149},
  url = {https://arxiv.org/abs/2412.13306},
  note = {Source identifier: 2412.13306}
}