Efficient checking of temporal integrity constraints using bounded history encoding (1995)

by Jan Chomicki
Venue:ACM Transactions on Database Systems (TODS