The TPTP Typed First-Order Form with Arithmetic.

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner

Browse the full LPAR paper archive.