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