Effective Skolemization.

Matthias Baaz, Anela Lolic

Browse the full WoLLIC paper archive.