Turull Torres, J. M. “Capturing Relational NEXPTIME With a Fragment of Existential Third Order Logic”. Journal of Computer Science and Technology, vol. 15, no. 02, Nov. 2015, pp. p. 87-92, https://journal.info.unlp.edu.ar/JCST/article/view/549.