S. Shapovalova і O. Mazhara, Визначення ефективності механізмів логічного виведення, Системи управління, навігації та зв’язку. Збірник наукових праць, т. 4, вип. 62, с. 81-87, Лис 2020.