1. S. B. Akers, “Binary decision diagrams”, IEEE Trans. on Computers, Vol. C-27, No. 6, pp. 509–516, June 1978.
2. R. E. Bryant, “Graph-based algorithms for Boolean function manipulation”, IEEE Trans. on Computers, Vol. C-35, No. 8, pp. 677–691, Aug. 1986.
3. H.-T. Liaw and C.-S. Lin, “On the OBDD-representation of general Boolean functions”, IEEE Trans. on Computers, Vol. C-41, No. 6, pp. 661–664, June 1992.
4. N. Ishiura and S. Yajima, “A class of logic functions expressible by a polynomial-size binary decision diagrams”, In Proc. Synthesis and Simulation Meeting and International Interchange (SASIMI’90, Japan), pp. 48–54, Oct. 1990.
5. S. Minato, N. Ishiura and S. Yajima, “Shared binary decision diagram with attributed edges for efficient Boolean function manipulation”, Proc. 27th IEEE/ACM DAC, pp. 52–57, June 1990