V. Riznyk and M. Solomko, “Minimization of conjunctive normal forms of boolean functions by combinatorial method”, TAPR, vol. 5, no. 2(43), pp. 42–55, May 2018.