Implementation of the dynamic incremental algorithm [AIMN91] for minimal length paths Journal of Algorithms 12 (1991), pp.615-638