Orgun, Mehmet A. Faustini, Anthony A. "The Chronolog family of languages" pp722-724

Journal of Symbolic Computation 22(5-6) Nov./Dec. (1996) Journal of Symbolic Computation 22(5-6) Nov./Dec. 1996 Special issue: executable temporal logics  

Languages mentioned Chronolog {1985} Temporal version of Prolog