Marianne Baudinet Temporal Logic Programming is Complete and Expressive. 267-280 1989 POPL db/conf/popl/popl89.html#Baudinet89 http://doi.acm.org/10.1145/75277.75301