Prabhat Jain, Ganesh Gopalakrishnan: Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD 1992: 598-602