Guozhu Dong Jianwen Su Rodney W. Topor Nonrecursive Incremental Evaluation of Datalog Queries. 187-223 1995 14 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai14.html#DongST95