Oliver Giel Branching Program Size Is Almost Linear in Formula Size. 222-235 2001 63 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss63.html#Giel01