TY  - RPRT
TI  - Efficient elimination of Skolem functions in $\text{LK}^{\text{h}}$
AU  - Ján Komara
PY  - 2020
DO  - 10.1007/s00153-021-00798-z
UR  - https://arxiv.org/abs/1909.01697
ID  - 1909.01697
ER  -