"Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation."

Randal E. Bryant, Derek L. Beatty, Carl-Johan H. Seger (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics