Solving systems of difference constraints incrementally
scientific article; zbMATH DE number 1271321