### 8 papers:

- KR-2014-BroeckMD #first-order
- Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
- CSL-2012-Aschieri #axiom #interactive
- Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (FA), pp. 31–45.
- KEOD-2011-AkamaN
- Meaning-preserving Skolemization (KA, EN), pp. 322–327.
- CAV-2011-BalabanovJ #evaluation #proving
- Resolution Proofs and Skolem Functions in QBF Evaluation and Applications (VB, JHRJ), pp. 149–164.
- LICS-2001-Avigad #first-order #logic
- Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.
- CADE-1999-GribomontS #using #validation #verification
- System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
- ICALP-1985-Hansel #proving #theorem
- A Simple Proof of the Skolem-Mahler-Lech Theorem (GH), pp. 244–249.
- CADE-1980-CoxP #algorithm
- A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.