Jon T. Butler Tsutomu Sasao Munehiro Matsuura Average Path Length of Binary Decision Diagrams. 1041-1053 2005 54 IEEE Trans. Computers 9 http://doi.ieeecomputersociety.org/10.1109/TC.2005.137 db/journals/tc/tc54.html#ButlerSM05