On the Expressiveness of Temporal Logic Programming

On the Expressiveness of Temporal Logic Programming Marianne Baudinet 157-180 Inf. Comput. March 1995 117 2 db/journals/iandc/iandc117.html#Baudinet95