title: efficient checking of temporal integrity constraints using bounded history encoding jan chomicki. authors: nan. venue: acm trans . database syst .. year: 1995.0
title: efficient checking of temporal integrity constraints using bounded history encoding jan chomicki. authors: nan. venue: acm transactions on database systems ( tods ). year: 1995.0