C.: The TPTP problem library (0)

by G Sutcliffe, Suttner
Venue:1998) Towards a Self-reflective, Context-aware Semantic Representation of Mathematical Specifications 35