Сохранение эквивалентности выводов при редукции глубины формул С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo
Строение конгруэнций в некоторых категориях соответствий М.Ш. Цаленко (1975) Sibirskij matematiceskij zurnal
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев, С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo
Функциональные бимногообразия в категории функторов Е.Г. Шульгейфер (1974) Sibirskij matematiceskij zurnal