Michael H. Böhlen The Temporal Deductive Database System ChronoLog 1994 Departement Informatik, ETH Zürich