A logic of concrete time intervals (1990)

by H R Lewis
Venue:In Proceedings of the Fifth Annual Symposium on Logic in Computer Science