The TPTP Process Instruction Language
with Applications
by
Geoff Sutcliffe
University of Miami, USA
Abstract