Turull Torres, José María. 2015. “Capturing Relational NEXPTIME With a Fragment of Existential Third Order Logic”. Journal of Computer Science and Technology 15 (02):p. 87-92. https://journal.info.unlp.edu.ar/JCST/article/view/549.