Using the TPTP Language for Writing Derivations and Finite Interpretations.

Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder

Browse the full CADE paper archive.