Alonderis, Romas. “Indexed Multi-Succedent Calculus With Invertible Rules for the Constructive Logic”. Lietuvos Matematikos Rinkinys, vol. 37, no. I, Dec. 1997, pp. 165–170 , https://doi.org/10.15388/LMD.1997.38208.