О финитной аппроксимируемости для допустимых правил вывода В.В. Рыбаков; В.Р. Кияткин; Т. Онер — 2001 Algebra i Logika
Независимые базисы для правил, допустимых в предтабличных логиках В.В. Рыбаков; В.Р. Кияткин; М. Терзилер — 2000 Algebra i Logika