Alonderis, R. (1997) “Indexed multi-succedent calculus with invertible rules for the constructive logic”, Lietuvos matematikos rinkinys, 37(I), pp. 165–170 . doi:10.15388/LMD.1997.38208.