Carme Martín Jaume Sistac Integrity Constraints Checking in Historical Deductive Databases. 299-324 1994 DAISD db/conf/daisd/daisd94.html#MartinS94