COBO, M. L.; AUGUSTO, J. C. Logical foundations and implementation of an extension of temporal logic. Journal of Computer Science and Technology, [S. l.], v. 1, n. 02, p. 15 p., 2000. Disponível em: https://journal.info.unlp.edu.ar/JCST/article/view/1018. Acesso em: 6 jun. 2023.