System description: SystemOnTPTP (2000)

by Geoff Sutcliffe
Venue:Automated Deduction— CADE-17 International Conference, LNAI 1831