1. Yu. I. Zhuravlev and A. Yu. Kogan, “Realization of Boolean functions with a small number of zeros by disjunc-tive normal forms, and related problems,” Sov. Math. Dokl. 32, 771–775 (1985).
2. Yu. I. Zhuravlev and A. Yu. Kogan, “An algorithm for constructing a disjunctive normal form equivalent to the product of the left-hand sides of Nelson Boolean equations,” USSR Comput. Math. Math. Phys. 26 (4), 184–188 (1986).
3. V. B. Kudryavtsev and A. E. Andreev, “On algorithm complexity,” J. Math. Sci. (New York) 168 (1), 89–122 (2010).
4. Yu. I. Zhuravlev, “On the algebraic approach to recognition and classification problems,” Probl. Kibern. 33, 5–68 (1978).
5. K. Weber, “Various concepts of the minimality of disjunctive normal forms,” Probl. Kibern. 36, 129–158 (1979).