Cobo, M. L. and Augusto, J. C. (2000) “Logical foundations and implementation of an extension of temporal logic”, Journal of Computer Science and Technology, 1(02), p. 15 p. Available at: https://journal.info.unlp.edu.ar/JCST/article/view/1018 (Accessed: 6 June 2023).