Matthias Baaz, Stefan Hetzl, Daniel Weller. On the complexity of proof deskolemization. Journal of Symbolic Logic, 77(2):669-686, 2012. [doi]
@article{BaazHW12,
title = {On the complexity of proof deskolemization},
author = {Matthias Baaz and Stefan Hetzl and Daniel Weller},
year = {2012},
url = {http://projecteuclid.org/euclid.jsl/1333566645},
researchr = {https://researchr.org/publication/BaazHW12},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {77},
number = {2},
pages = {669-686},
}