Alonderis, R. (1997). Indexed multi-succedent calculus with invertible rules for the constructive logic. Lietuvos Matematikos Rinkinys, 37(I), 165–170 . https://doi.org/10.15388/LMD.1997.38208