Steven Trac, Geoff Sutcliffe, Adam Pease. Integration of the TPTPWorld into SigmaKEE. In Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.