1. Ph. W. Besslich, “Efficient computer method for XOR logic design”, IEE Proc., Part E, Vol. 129, 1982, pp. 15–20.
2. R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo, F. Somenzi, “Algebraic decision diagrams and their applications”, Int. Conf. on CAD, Nov. 1993, pp. 188–191.
3. R. E. Bryant, “Graph-based algorithms for Boolean functions manipulation”, IEEE Trans. Comput., Vol. C-35, No.8, 1986, pp. 667–691.
4. CMU-CS-94–160;RE Bryant,1994
5. P. Calingaert, “Switching function canonical forms based on commutative and associative binary operations”, Trans. Amer. Inst. Elect. Eng., Part I, 52, 1961, pp. 808–814.