Baudinet, M. "A simple proof of the completeness of temporal logic programming" in L. Farinas del Cerro and M. Pentto-nen, editors, Intensional Logics for Programming, pp. 51-83. Oxford University Press, 1992

Languages mentioned

• TempLog {1987}