Indexed multi-succedent calculus with invertible rules for the constructive logic - Alonderis, Romas (Lietuvos matematikos rinkinys, 1997)
There is not abstract.