Using Temporal Logic and Datalog to Query Databases Evolving in Time - Alexander Tuzhilin - Inbunden | Bokus