В. В. Рыбаков, “Критерии допустимости правил вывода с параметрами в интуиционистском исчислении высказываний”, Изв. АН СССР. Сер. матем., 54:6 (1990), 1331–1341 ; V. V. Rybakov, “Criteria for admissibility of rules of inference with parameters in the intuituonistc propositional calculus”, Math. USSR-Izv., 37:3 (1991), 693–703
В. В. Рыбаков, “Разрешимость по допустимости модальной системы $\mathrm{Grz}$ и интуиционистской логики”, Изв. АН СССР. Сер. матем., 50:3 (1986), 598–616 ; V. V. Rybakov, “Decidability of admissibility in the modal system $\mathrm{Grz}$ and in intuitionistic logic”, Math. USSR-Izv., 28:3 (1987), 589–608
В. В. Рыбаков, “Базисы допустимых правил модальной системы Grz и интуиционистской логики”, Матем. сб., 128(170):3(11) (1985), 321–338 ; V. V. Rybakov, “Bases of admissible rules of the modal system Grz and of intuitionistic logic”, Math. USSR-Sb., 56:2 (1987), 311–331