Cutting Down the TPTP Language (And Others).

Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe

Browse the full CADE paper archive.