Bwolen Yang Randal E. Bryant David R. O'Hallaron Armin Biere Olivier Coudert Geert Janssen Rajeev K. Ranjan Fabio Somenzi A Performance Study of BDD-Based Model Checking. 255-289 http://dx.doi.org/10.1007/3-540-49519-3_18 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#YangBOBCJRS98