Cobo, M. L., & Augusto, J. C. (2000). Logical foundations and implementation of an extension of temporal logic. Journal of Computer Science and Technology, 1(02), 15 p. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/1018