A recursive temporal algebra and temporal completeness (1996)

by M A Orgun
Venue:Proceedings of the Third International Workshop on Temporal Representation and Reasoning (TIME’96