On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.

Sergei Tupailo On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA. 44-53 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#Tupailo94 http://dx.doi.org/10.1007/3-540-58216-9_28