@misc{indiciae91b544f7a618,
  title = {On Reductions of Hintikka Sets for Higher-Order Logic},
  author = {Alexander Steen and Christoph Benzmüller},
  year = {2021},
  url = {https://arxiv.org/abs/2004.07506},
  note = {Source identifier: 2004.07506}
}