Solving systems of difference constraints incrementally with bidirectional search
scientific article; zbMATH DE number 2121789