R.W.: Nonrecursive incremental evaluation of datalog queries (1995)

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