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