The TPTP Process Instruction Language
with Applications

by
Geoff Sutcliffe
University of Miami, USA

Abstract