1. Representation of switching circuits by binary decision programs;Lee;Bell Systems Tech. J.,1959
2. Decision trees and diagrams;Moret;Comput. Surv.,1982
3. Graph based algorithms for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
4. A characterization of binary decision diagrams;Chakravarty;IEEE Trans. Comput.,1993
5. Synthesis of multilevel logic circuits from binary decision diagrams;Ishiura;IEEE Trans. Inf. & Syst.,1993