The TPTP Problem Library, Release v1.2.0
Sutcliffe, Geoff, Suttner, ChristianVolume:
3
Year:
1995
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/3.6.957
File:
PDF, 135 KB
english, 1995