Cobo, María Laura, and Juan Carlos Augusto. “Logical Foundations and Implementation of an Extension of Temporal Logic”. Journal of Computer Science and Technology 1, no. 02 (March 1, 2000): 15 p. Accessed June 6, 2023. https://journal.info.unlp.edu.ar/JCST/article/view/1018.