Turull Torres, J. M. Capturing Relational NEXPTIME With a Fragment of Existential Third Order Logic. JCS&T 2015, 15, p. 87-92.