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