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