@misc{indiciae31108e17fb92,
  title = {Simple Type Theory as a Clausal Theory},
  author = {Gilles Dowek},
  year = {2023},
  url = {https://arxiv.org/abs/2304.13319},
  note = {Source identifier: 2304.13319}
}