РЫБАКОВ, М. Погружение интуиционистской логики в ее фрагмент от двух переменных и сложность этого фрагмента. Логические исследования, v. 11, p. 247-261, 2 ноя. 2004.