Turull Torres, J. M. (2015). Capturing relational NEXPTIME with a fragment of existential third order logic. Journal of Computer Science and Technology, 15(02), p. 87–92. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/549