M. Solomko, P. Tadeyev, L. Zubyk, S. Babych, Y. Mala, and O. Voitovych, “Implementation of the method of figurative transformations to minimizing symmetric Boolean functions ”, EEJET, vol. 4, no. 4(112), pp. 23–39, Aug. 2021.