[ACM Press the twelfth ACM SIGACT-SIGMOD-SIGART symposium - Washington, D.C., United States (1993.05.25-1993.05.28)] Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '93 - On the feasibility of checking temporal integrity constraintsChomicki, Jan; Niwiński, Damian · 1993