TY - JOUR TI - A logical reconstruction of temporal databases PY - 2000 AU - Finger, Marcelo T2 - Journal of Logic and Computation SN - 0955-792X DO - 10.1093/logcom/10.6.847 UR - https://doi.org/10.1093/logcom/10.6.847 PP - Oxford VL - 10 IS - 6 SP - 847-876 ER -