Temporal Logic Programming is Complete and Expressive.

Marianne Baudinet

Browse the full POPL paper archive.