Ingo Wegener The Size of Reduced OBDDs and Optimal Read-once Branching Programs for Almost all Boolean Functions. 252-263 1993 conf/wg/1993 WG db/conf/wg/wg93.html#Wegener93 https://doi.org/10.1007/3-540-57899-4_57