Abadi, M. and Manna, Z. "Temporal logic programming" pp277-295

(1989) Journal of Symbolic Computation, 8, 1989  

Languages mentioned TempLog {1987}