Sergei Tupailo On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. [Citation Graph (0, 0)][DBLP] LPAR, 1994, pp:44-53 [Conf]
Sergei Tupailo Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2003, v:120, n:1-3, pp:165-196 [Journal]
Sergei Tupailo Epsilon Substitution Method for Delta11-CR: a Constructive Termination Proof. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2003, v:11, n:3, pp:367-377 [Journal]