@misc{indiciae8ce84fd7473e,
  title = {The Russell-Prawitz embedding and the atomization of universal instantiation},
  author = {José Espírito Santo and Gilda Ferreira},
  year = {2020},
  url = {https://arxiv.org/abs/1909.01232},
  note = {Source identifier: 1909.01232}
}