Eric Nassor;Guy Vidal-Naquet
-;-
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)