A Simple Theorem Prover Based on Symbolic Trajectory

Evaluation and OBDDs

Scott Hazelhurst
Carl-Johan H. Seger

Technical Report 93{41
12 November 1993

Department of Computer Science
University of British Columbia
Rm 201 - 2366 Main Mall
Vancouver, B.C.
CANADA V6T 1Z4

Telephone: (604) 822-3061
Fax: (604) 822-5485