Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder. Using the TPTP Language for Writing Derivations and Finite Interpretations. In Ulrich Furbach, Natarajan Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4130 of Lecture Notes in Computer Science, pages 67-81, Springer, 2006. [doi]
Abstract is missing.