Efficient elimination of Skolem functions in first-order logic without equality - Ján Komara (2019)