Hoping for the Truth - A Survey of the TPTP Logics.

Geoff Sutcliffe, Francis Jeffry Pelletier

Browse the full FlAIRS paper archive.