«ТЕХНОЛОГІЇ РЕАЛІЗАЦІЇ ЛОГІЧНОГО ВИВЕДЕННЯ В ПРОГРАМНИХ КОМПЛЕКСАХ», спм, вип. 23, с. 11–20, Трав 2022, doi: 10.33842/2313-125X-2023-23-11-20.