Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19(2): 231-259 (2002)