Surender Baswana Ramesh Hariharan Sandeep Sen Improved decremental algorithms for maintaining transitive closure and all-pairs shortest paths. 74-92 2007 62 J. Algorithms 2 http://dx.doi.org/10.1016/j.jalgor.2004.08.004 db/journals/jal/jal62.html#BaswanaHS07