Andrews Skolemization May Shorten Resolution Proofs Non-elementarily.

Matthias Baaz, Anela Lolic

Browse the full LFCS paper archive.