Nonrecursive incremental evaluation of Datalog queries
scientific article; zbMATH DE number 937230