@misc{indiciae810f651779aa,
  title = {An Intuitionistic Formula Hierarchy Based on High-School Identities},
  author = {Taus Brock-Nannestad and Danko Ilik},
  year = {2018},
  doi = {10.1002/malq.201700047},
  url = {https://arxiv.org/abs/1601.04876},
  note = {Source identifier: 1601.04876}
}