Опубликован: 15.06.1998

Алгоритм поиска вывода в классической логике предикатов.

А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков

171-194