title: efficient checking of temporal integrity constraints using bounded history encoding. authors: j chomicki. venue: acm trans . database syst .. year: 1995
title: efficient sequenced temporal integrity checking. authors: w li , rt snodgrass , s deng , vk gattu , a. venue: nan. year: nan