@misc{indiciae2490499495e1,
  title = {Analytic Tableaux for Simple Type Theory and its First-Order Fragment},
  author = {Chad E. Brown and Gert Smolka},
  year = {2010},
  doi = {10.2168/lmcs-6(2:3)2010},
  url = {https://arxiv.org/abs/1004.1947},
  note = {Source identifier: 1004.1947}
}