A logic for handling time in temporal databases | IEEE Conference Publication | IEEE Xplore