Hale, R. Temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pp. 91-119. Academic Press, 1987.

Languages mentioned

• ITL {1981}
• Tempura {1985}