Managing temporal knowledge in deductive databases | lit.salon