@misc{indiciae92eec558ad65,
  title = {A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems},
  author = {Tadayoshi Miwa and Takao Inoué},
  year = {2026},
  url = {https://arxiv.org/abs/2601.10026},
  note = {Source identifier: 2601.10026}
}