To Get Temporal Logic Propositional Checker

To get the software (plus documentation for it), please print the form (involving the fact that I developed the software at Stanford) available here (also available in HTML), complete it, and mail it to me:

Hugh McGuire
Department of Computer Science
University of California at Santa Barbara
Santa Barbara, CA 93106-5110
U.S.A.

Then, I'll provide the software to you.

(This page was last updated 1996:May:11.)