THF0—The core of the TPTP language for higher-order logic (2008)

by C Benzmüller, F Rabe, G Sutcliffe
Venue:International Joint Conference on Automated Reasoning (IJCAR 2008), volume 5195 of LNAI