Valerie King Fully Dynamic Algorithms for Maintaining All-Pairs Shortest Paths and Transitive Closure in Digraphs. 81-91 1999 FOCS http://computer.org/proceedings/focs/0409/04090081abs.htm db/conf/focs/focs99.html#King99