The TPTP World -
Infrastructure for Automated Reasoning

Geoff Sutcliffe, University of Miami, USA

Problems