Detlef Sieling, Ingo Wegener: A Comparison of Free BDDs and Transformed BDDs. Formal Methods Syst. Des. 19(3): 223-236 (2001)