Seh-Woong Jeong Bernard Plessier Gary D. Hachtel Fabio Somenzi Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. 464-467 1991 ICCAD db/conf/iccad/iccad1991.html#JeongPHS91