References

[1]

S. B. Akers. Binary decision diagrams. IEEE Transactions on Computers, C-27(6), 1978.

[2]

R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–692, 1986.