Baudinet, M. "On the semantics of temporal logic programming" Technical Report STAN-CS-88-1203, Computer Science Department, Stanford University, Stanford, Calif, June 1988

Languages mentioned

• TempLog {1987}