Detlef Sieling Ingo Wegener A Comparison of Free BDDs and Transformed BDDs. 223-236 2001 19 Formal Methods in System Design 3 db/journals/fmsd/fmsd19.html#SielingW01