Detlef Sieling New Lower Bounds and Hierarchy Results for Restricted Branching Programs. 79-87 1996 53 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss53.html#Sieling96