Wong, W. C.; Bic, L. F. Incremental View Materialization in Deductive Databases. Comput. Inform. 2012, 18, 239-269.