TY  - RPRT
TI  - Analytic Tableaux for Simple Type Theory and its First-Order Fragment
AU  - Chad E. Brown
AU  - Gert Smolka
PY  - 2010
DO  - 10.2168/lmcs-6(2:3)2010
UR  - https://arxiv.org/abs/1004.1947
ID  - 1004.1947
ER  -