Cobo ML, Augusto JC. Logical foundations and implementation of an extension of temporal logic. JCS&T [Internet]. 2000 Mar. 1 [cited 2023 Jun. 6];1(02):15 p. Available from: https://journal.info.unlp.edu.ar/JCST/article/view/1018