@misc{indiciae7785b4d654e5,
  title = {On the Mints Hierarchy in First-Order Intuitionistic Logic},
  author = {Aleksy Schubert and Paweł Urzyczyn and Konrad Zdanowski},
  year = {2016},
  doi = {10.2168/lmcs-12(4:11)2016},
  url = {https://arxiv.org/abs/1610.02675},
  note = {Source identifier: 1610.02675}
}