Nonrecursive incremental evaluation of datalog queries (1995)

by G Dong, J Su, R W Topor
Venue:Annals of Mathematics and Artificial Intelligence