Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus. - Carlos A. Mareco; Leopoldo E. Bertossi (ER (Workshops), 1999)