Shapovalova S. Визначення ефективності механізмів логічного виведення / S. Shapovalova, O. Mazhara // Системи управління, навігації та зв’язку. Збірник наукових праць. – Полтава: ПНТУ, 2020. – Т. 4 (62). – С. 81-87. – doi:https://doi.org/10.26906/SUNZ.2020.4.081.