@misc{indiciae06733d90abe9,
  title = {From Rewrite Rules to Axioms in the \$λ\$\$Π\$-Calculus Modulo Theory},
  author = {Valentin Blot and Gilles Dowek and Thomas Traversié and Théo Winterhalter},
  year = {2024},
  url = {https://arxiv.org/abs/2402.09024},
  note = {Source identifier: 2402.09024}
}