Matthias Baaz, Alexander Leitsch. On Skolemization and Proof Complexity. Fundamenta Informaticae, 20(4):353-379, 1994.
@article{BaazL94,
title = {On Skolemization and Proof Complexity},
author = {Matthias Baaz and Alexander Leitsch},
year = {1994},
researchr = {https://researchr.org/publication/BaazL94},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {20},
number = {4},
pages = {353-379},
}