Voronkov, Andrei Programming Logics, MPI for Informatics, Max Planck Society;
Voronkov, A. (1999). The ground-negative fragment of first-order logics is $\pi^p_2$-complete. The Journal of Symbolic Logic, 64(3), 984-990.