APA (7th ed.) Citation

Belovas, A., & Norgėla, S. Sequent calculus Sk4 for skolemized formulas. Vilnius University Press.

Chicago Style (17th ed.) Citation

Belovas, Andrejus, and Stanislovas Norgėla. Sequent Calculus Sk4 for Skolemized Formulas. Vilnius University Press.

MLA (9th ed.) Citation

Belovas, Andrejus, and Stanislovas Norgėla. Sequent Calculus Sk4 for Skolemized Formulas. Vilnius University Press.

Warning: These citations may not always be 100% accurate.