Department of Computer Science
University of Miami
If you're new to all this and don't want to wade through the
details provided in this manual, you might want to start at the
TPTP and TSTP Quick Guide.|
You could also work your way through the slides of the TPTP World Tutorial.