TSTP Data-Exchange Formats for Automated Theorem Proving Tools (2004)

by G Sutcliffe, J Zimmer, S Schulz
Venue:Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems, number 112 in Frontiers in Artificial Intelligence and Applications