-
Kevin J. Compton, C. Ward Henson, “A uniform method for proving lower bounds on the computational complexity of logical theories”, Annals of Pure and Applied Logic, 48:1 (1990),
1 
-
А. А. Тверской, “Неконструктивизируемые формальные арифметические структуры”, Изв. АН СССР. Сер. матем., 51:1 (1987),
111–130 
; A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Math. USSR-Izv., 30:1 (1988), 103–122