Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill Sequential Circuit Verification Using Symbolic Model Checking. 46-51 1990 DAC http://doi.acm.org/10.1145/123186.123223 db/conf/dac/dac90.html#BurchCMD90