Reasoning in interval temporal logic (1983)

by Ben Moszkowski, Zohar Manna
Venue:Proceedings of the Workshop on Logics of Programs