An overview of temporal and modal logic programming (1994)

by Mehmet A Orgun, Wanli Ma
Venue:Temporal Logic: First International Conference. Springer-Verlag, LNCS 827