Pham, V. C. .; Nguyen, T. S.; Duong, T. A. Checking Temporal Integrity Constraints in Temporal Databases. JTE 2011, 6, 1-7.