@misc{indiciae103df8d6e73f,
  title = {Hashing Modulo Context-Sensitive \$α\$-Equivalence},
  author = {Lasse Blaauwbroek and Miroslav Olšák and Herman Geuvers},
  year = {2024},
  doi = {10.1145/3656459},
  url = {https://arxiv.org/abs/2401.02948},
  note = {Source identifier: 2401.02948}
}