On the complexity of proof deskolemization

by Matthias Baaz, Stefan Hetzl, Daniel Weller
Venue:J. Symbolic Logic