О финитной аппроксимируемости для допустимых правил вывода В.В. Рыбаков, В.Р. Кияткин, Т. Онер (2001) Algebra i Logika
Роль детерминизма в языках запросов для баз данных. С.С. Магазов (1987) Sibirskij matematiceskij zurnal
Три способа выявления несущественных формул в секвенциях В.П. Оревков (1979) Zapiski naucnych seminarov Leningradskogo