J. M. Turull Torres, “Capturing relational NEXPTIME with a fragment of existential third order logic”, JCS&T, vol. 15, no. 02, pp. p. 87–92, Nov. 2015.