Temporal Logic Programming

Zohar Manna
SLP (1987), pp. 4-16

Abstract