Using the TPTP Language for Writing Derivations and Finite Interpretations

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_7 ◽

2006 ◽

pp. 67-81 ◽

Cited By ~ 21

Author(s):

Geoff Sutcliffe ◽

Stephan Schulz ◽

Koen Claessen ◽

Allen Van Gelder

Download Full-text