1. R. K. Brayton, G. D. Hachtel, C. T. McMullen, and A. L. SangiovanniVincentelli Logic Minimization Algorithms for VLSI Synthesis Boston, MA. Kluwer, 1984.
2. R. K. Brayton, R. Rudell, A. L. Sangiovanni-Vincentelli, and A. R. Wang, “MIS: A multiple-level logic minimization,” IEEE Trans. CAD pp. 1062–1081, Nov. 1987.
3. D. Brand and T. Sasao, “On the minimization of AND-EXOR expressions”Proc. International Workshop on Logic Synthesis Research Triangle Park, NC, May 1991.
4. M. Davio, J.-P. Deschamps, and A. Thayse, Discrete and Switching Functions, McGraw-Hill International, 1978.
5. S. Even, I. Kohavi and A. Paz, “On minimal modulo-2 sums of products for switching functions” IEEE Trans. Electronic Computers Vol. EC-16, pp. 671–674, Oct. 1984.