Belovas A, Norgėla S. Sequent calculus Sk4 for skolemized formulas. LMR [Internet]. 2005 Dec. 18 [cited 2024 Jul. 18];45(spec.):316–320. Available from: https://www.journals.vu.lt/LMR/article/view/26672