@article{Baaz_2012,
    doi = {10.2178/jsl/1333566645},
    url = {https://doi.org/10.2178%2Fjsl%2F1333566645},
    year = {2012},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {77},
    number = {2},
    pages = {669--686},
    author = {Matthias Baaz and Stefan Hetzl and Daniel Weller},
    title = {On the complexity of proof deskolemization},
    journal = {The Journal of Symbolic Logic}
}

@article{Baaz_2012, doi = {10.2178/jsl/1333566645}, url = {https://doi.org/10.2178%2Fjsl%2F1333566645}, year = {2012}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {77}, number = {2}, pages = {669--686}, author = {Matthias Baaz and Stefan Hetzl and Daniel Weller}, title = {On the complexity of proof deskolemization}, journal = {The Journal of Symbolic Logic} }