Ferret User Guide
About Ferret
Quick Start and Overview
Configuring Sphere Composition
Importing TPTP Runtime Traces
Fidelity of Mappings
Clustering Query Results
Special Topics
Creating Java runtime traces using TPTP