Temporal Logic Programming

Zohar Manna
J. Symb. Comput., 8 (1989), pp. 277-295

Abstract