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://link.springer.de/link/service/series/0558/bibs/1522/15220255.htm 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#YangBOBCJRS98