Prabhat Jain Prabhakar Kudva Ganesh Gopalakrishnan Towards a Verification Technique for Large Synchronous Circuits. 109-122 1992 conf/cav/1992 CAV db/conf/cav/cav1992.html#JainKG92 http://dx.doi.org/10.1007/3-540-56496-9_10