Логический вывод в системах обработки знаний - Страбыкин Д. А. Дмитрий Алексеевич (СПб., 1998)