Разработка и исследование оптимизаций логического вывода в системах декларативных продукцийЧернойван, Константин Геннадьевич199712 с.