A Declarative Foundation for Comprehensive History Querying | IEEE Conference Publication | IEEE Xplore