title: temporal integrity constraints with indeterminacy. authors: wes cowley , dimitris plexousakis. venue: vldb. year: 2000
title: efficient checking of temporal integrity constraints using bounded history encoding. authors: jan chomicki. venue: acm transactions on database systems ( tods ). year: 1995