Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton. Early Quantification and Partitioned Transition Relations. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 12-19, IEEE Computer Society, 1996. [doi]
Abstract is missing.