Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.

Allen Van Gelder, Geoff Sutcliffe

Browse the full CADE paper archive.