On the complexity of proof deskolemization

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