1. Spectral Logic and its App-Lications for the Design of Digital Devices;Karpovsky,2008
2. Representation of switching circuits by binary decision diagrams;Lee;Bell Syst. Tech. J.,1959
3. R. Ubar, Test generation for digital circuits using alternative graphs (in Russian), in Proc. Tallinn Technical University, 1976, No. 409, Tallinn Technical University, Tallinn, Estonia.
4. Binary decision diagrams;Akers;IEEE Trans. Comp.,1978
5. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comp.,1986