V. Riznyk and M. Solomko, “Research of 5-bit boolean functions minimization protocols by combinatorial method”, TAPR, vol. 4, no. 2(42), pp. 41–52, Apr. 2018.