Булевы классы тьюринговых сведений

По классу упорядоченных пар булевых функций определяется отношение субтьюринговой сводимости. Приводятся критерии того, что класс упорядоченных пар булевых функций определяет транзитивное и рефлексивное отношение сводимости. Указывается место ряда известных сводимостей в рамках этой классификации.
Библиография: 10 названий.