SystemOnTPTP
by
Geoff Sutcliffe
Department of Computer Science
James Cook University
Australia
geoff@cs.jcu.edu.au
Abstract