Alan J. Hu Gary York David L. Dill New Techniques for Efficient Verification with Implicitly Conjoined BDDs. 276-282 1994 DAC http://doi.acm.org/10.1145/196244.196377 db/conf/dac/dac94.html#HuYD94