@misc{indiciae732d5450deeb,
  title = {A Deforestation of Reducts: Refocusing},
  author = {Olivier Danvy},
  year = {2023},
  url = {https://arxiv.org/abs/2302.10455},
  note = {Source identifier: 2302.10455}
}