Marcelo Arenas Leopoldo E. Bertossi Hypothetical Temporal Reasoning in Databases. 231-259 2002 19 J. Intell. Inf. Syst. 2 db/journals/jiis/jiis19.html#ArenasB02 http://dx.doi.org/10.1023/A:1016524013831