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