Prove: Prolog based verifier (1986)

by N C E Srinivas, V D Agrawal
Venue:In International Conference on Computer Aided Design