On First-Order Query Rewriting for Incomplete Database Histories | IEEE Conference Publication | IEEE Xplore