On the complexity of proof deskolemization

by Matthias Baaz , Stefan Hetzl , Daniel Weller
Venue:J. Symbolic Logic
Citations:4 - 3 self