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