M. Solomko, “Development of a non-standard system for simplifying boolean functions”, EEJET, vol. 3, no. 4 (129), pp. 6–34, Jun. 2024.