Temporal Deductive Databases [chap. 13]