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

• Baudinet, M. (1989) Baudinet, M. "Temporal logic programming is complete and expressive" pp267-280