On the size of binary decision diagrams representing boolean functions. Theor. Comput. Sci (1995)

by Y Breitbart, H Hunt, D Rosenkrantz