An Overview of Temporal and Modal Logic Programming (1994)

by M A Orgun, W Ma
Venue:In Temporal Logic: Proceedings of the First International Conference, ICTL’94, volume 827 of Lecture Notes in Artificial Intelligence