TURULL TORRES, J. M. Capturing relational NEXPTIME with a fragment of existential third order logic. Journal of Computer Science and Technology, [S. l.], v. 15, n. 02, p. p. 87–92, 2015. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/549. Acesso em: 22 mar. 2023.