@misc{indiciae603465cfbe91,
  title = {Decidable fragments of the Simple Theory of Types with Infinity and NF},
  author = {Anuj Dawar and Thomas Forster and Zachiri McKenzie},
  year = {2014},
  doi = {10.1215/00294527-2017-0009},
  url = {https://arxiv.org/abs/1406.4384},
  note = {Source identifier: 1406.4384}
}