Reasoning in interval temporal logic (1983)

by B Moszkowski, Z Manna
Venue:Proceedings of the Workshop on Logics of Programs