Turull Torres JM. Capturing relational NEXPTIME with a fragment of existential third order logic. JCS&T [Internet]. 2015 Nov. 1 [cited 2023 Mar. 22];15(02):p. 87-92. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/549