Baudinet, M. "Temporal logic programming is complete and expressive" pp267-280

Conference Record of the Sixteenth ACM Symposium o (1989) Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, pp. 267-280, Austin, Texas, Jan. 1989  

Languages mentioned TempLog {1987}