Sequent calculus Sk4 for skolemized formulas - Belovas, Andrejus; Norgėla, Stanislovas (Lietuvos matematikos rinkinys, 2005)
There is not abstract.