V. Riznyk and M. Solomko, “Minimization of Boolean functions by combinatorial method”, TAPR, vol. 4, no. 2(36), pp. 49–64, Jul. 2017.