Formal semantics for time in databases (1983)

by J Clifford, D S Warren
Venue:ACM Transactions on Database Systems