"Extended BDDs: Trading off Canonicity for Structure in Verification ..."

Bernard Plessier, Gary D. Hachtel, Fabio Somenzi (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics