Cobo, M.L. and Augusto, J.C. 2000. Logical foundations and implementation of an extension of temporal logic. Journal of Computer Science and Technology. 1, 02 (Mar. 2000), 15 p.