Macha Nikolskaïa Antoine Rauzy David James Sherman Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. 100-114 http://link.springer.de/link/service/series/0558/bibs/1522/15220100.htm 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#NikolskaiaRS98