Temporal Logic Programming

Martín Abadi, Zohar Manna. Temporal Logic Programming. Journal of Symbolic Computation, 8(3):277-295, 1989.

Abstract

Abstract is missing.