Eliminating definitions and Skolem functions in first-order logic (2001)

by J Avigad
Venue:In Proc. of 16th Annual IEEE Symposium on Logic in Computer Science (LICS