System description: SystemOnTPTP (2000)

by G Sutcliffe
Venue:of LNAI