Cobo, M. L., and J. C. Augusto. “Logical Foundations and Implementation of an Extension of Temporal Logic”. Journal of Computer Science and Technology, vol. 1, no. 02, Mar. 2000, p. 15 p., https://journal.info.unlp.edu.ar/JCST/article/view/1018.