Incremental and decremental evaluation of transitive closure by first- order queries
scientific article; zbMATH DE number 797322