Shih Ping Tung
-
Skolem functions of arithmetical sentences
Information and Computation
Computational complexity of sentences over fields