Sequent calculus Sk4 for skolemized formulas - Andrejus Belovas; Stanislovas Norgėla (Lietuvos Matematikos Rinkinys)
There is not abstract.