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

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