M. Solomko, I. Batyshkina, I. Voitovych, L. Zubyk, S. Babych, and K. Muzychuk, “Devising a method of figurative transformations for minimizing boolean functions in the implicative basis”, EEJET, vol. 6, no. 4 (108), pp. 32–47, Dec. 2020.