Аушева, Н., і С. Шаповалова. «ТЕХНОЛОГІЇ РЕАЛІЗАЦІЇ ЛОГІЧНОГО ВИВЕДЕННЯ В ПРОГРАМНИХ КОМПЛЕКСАХ». Сучасні проблеми моделювання, вип. 23, Травень 2022, с. 11-20, doi:10.33842/2313-125X-2023-23-11-20.