Steven Trac Geoff Sutcliffe Adam Pease Integration of the TPTPWorld into SigmaKEE. 2008 PAAR/ESHOL http://ceur-ws.org/Vol-373/paper-09.pdf conf/cade/2008paar db/conf/cade/paar2008.html#TracSP08