Turull Torres, J. M. (2015) “Capturing relational NEXPTIME with a fragment of existential third order logic”, Journal of Computer Science and Technology, 15(02), pp. p. 87–92. Available at: https://journal.info.unlp.edu.ar/JCST/article/view/549 (Accessed: 22 March 2023).