Shapovalova, S. ГЕНЕРАЦІЯ ТЕСТОВИХ БАЗ ПРАВИЛ ДЛЯ АНАЛІЗУ ПРОДУКТИВНОСТІ МЕХАНІЗМІВ ЛОГІЧНОГО ВИВЕДЕННЯ. ITSSI 2020, 77-85.