Turull Torres, J.M. 2015. Capturing relational NEXPTIME with a fragment of existential third order logic. Journal of Computer Science and Technology. 15, 02 (Nov. 2015), p. 87–92.