Debashis Sahoo Subramanian K. Iyer Jawahar Jain Christian Stangier Amit Narayan David L. Dill E. Allen Emerson A Partitioning Methodology for BDD-Based Verification. 399-413 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=399 2004 conf/fmcad/2004 FMCAD db/conf/fmcad/fmcad2004.html#SahooIJSNDE04