Vaclav Dvorak. Bounds on Size of Decision Diagrams. J. UCS, 3(1):2-22, 1997. [doi]
@article{Dvorak97:0, title = {Bounds on Size of Decision Diagrams}, author = {Vaclav Dvorak}, year = {1997}, url = {http://www.jucs.org/jucs_3_1/bounds_on_size}, researchr = {https://researchr.org/publication/Dvorak97%3A0}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {3}, number = {1}, pages = {2-22}, }