About the GUHA Analysis application
GUHA Theory
Overview of the User Interface
Forming phi and psi formulas
The File menu commands
The Actions menu commands
Viewing Computation Results