Блокирующие множества термов

В работе рассматривается задача об описании блокирующих множеств термов. Получено описание одноэлементных блокирующих множеств – блокирующих термов. Показывается также, что блокирующее множество, термы которого в совокупности зависят от конечного числа переменных, содержит блокирующий терм.
Библиография: 5 названий.