1: \begin{thebibliography}{10}
2:
3: \bibitem{AHU74}
4: {A.V.} Aho, {J.E.} Hopcroft, and {J.D.} Ullman.
5: \newblock {\em The Design and Analysis of Computer Algorithms}.
6: \newblock Addison Wesley, 1974.
7:
8: \bibitem{CW90}
9: {D.} Coppersmith and {S.} Winograd.
10: \newblock Matrix multiplication via arithmetic progressions.
11: \newblock {\em Journal of Symbolic Computation}, 9:251--280, 1990.
12:
13: \bibitem{CLR90}
14: {T.H.} Cormen, {C.E.} Leiserson, and {R.L.} Rivest.
15: \newblock {\em Introduction to Algorithms}.
16: \newblock The MIT Press, 1990.
17:
18: \bibitem{D01}
19: {C.} Demetrescu.
20: \newblock {\em Fully Dynamic Algorithms for Path Problems on Directed Graphs}.
21: \newblock PhD thesis, Department of Computer and Systems Science, University of
22: Rome ``La Sapienza'', February 2001.
23:
24: \bibitem{DI00}
25: {C.} Demetrescu and {G.F.} Italiano.
26: \newblock Fully dynamic transitive closure: Breaking through the ${O}(n^2)$
27: barrier.
28: \newblock In {\em Proc. of the 41st IEEE Annual Symposium on Foundations of
29: Computer Science (FOCS'00)}, pages 381--389, 2000.
30:
31: \bibitem{ES81}
32: {S.} Even and {Y.} Shiloach.
33: \newblock An on-line edge-deletion problem.
34: \newblock {\em Journal of the ACM}, 28:1--4, 1981.
35:
36: \bibitem{FM71}
37: M.~J. Fischer and A.~R. Meyer.
38: \newblock Boolean matrix multiplication and transitive closure.
39: \newblock In {\em Conference Record 1971 Twelfth Annual Symposium on Switching
40: and Automata Theory}, pages 129--131, East Lansing, Michigan, 13--15 October
41: 1971. IEEE.
42:
43: \bibitem{F70}
44: {M.E.} Furman.
45: \newblock Application of a method of fast multiplication of matrices in the
46: problem of finding the transitive closure of a graph.
47: \newblock {\em Soviet Math. Dokl.}, 11(5), 1970.
48: \newblock English translation.
49:
50: \bibitem{HK95}
51: {M.} Henzinger and {V.} King.
52: \newblock Fully dynamic biconnectivity and transitive closure.
53: \newblock In {\em Proc. 36th IEEE Symposium on Foundations of Computer Science
54: (FOCS'95)}, pages 664--672, 1995.
55:
56: \bibitem{HP98}
57: {X.} Huang and {V.Y.} Pan.
58: \newblock Fast rectangular matrix multiplication and applications.
59: \newblock {\em Journal of Complexity}, 14(2):257--299, June 1998.
60:
61: \bibitem{IK83}
62: T.~Ibaraki and N.~Katoh.
63: \newblock On-line computation of transitive closure for graphs.
64: \newblock {\em Information Processing Letters}, 16:95--97, 1983.
65:
66: \bibitem{I86}
67: {G. F.} Italiano.
68: \newblock Amortized efficiency of a path retrieval data structure.
69: \newblock {\em Theoretical Computer Science}, 48(2--3):273--281, 1986.
70:
71: \bibitem{I88}
72: G.~F. Italiano.
73: \newblock Finding paths and deleting edges in directed acyclic graphs.
74: \newblock {\em Information Processing Letters}, 28:5--11, 1988.
75:
76: \bibitem{KMW96}
77: S.~Khanna, R.~Motwani, and R.~H. Wilson.
78: \newblock On certificates and lookahead on dynamic graph problems.
79: \newblock In {\em Proc. 7th ACM-SIAM Symp. Discrete Algorithms}, pages
80: 222--231, 1996.
81:
82: \bibitem{K99}
83: {V.} King.
84: \newblock Fully dynamic algorithms for maintaining all-pairs shortest paths and
85: transitive closure in digraphs.
86: \newblock In {\em Proc. 40th IEEE Symposium on Foundations of Computer Science
87: (FOCS'99)}, 1999.
88:
89: \bibitem{KS99}
90: {V.} King and {G.} Sagert.
91: \newblock A fully dynamic algorithm for maintaining the transitive closure.
92: \newblock In {\em Proc. 31st ACM Symposium on Theory of Computing (STOC'99)},
93: pages 492--498, 1999.
94:
95: \bibitem{LvL88}
96: J.~A. {La Poutr\'e} and J.~van Leeuwen.
97: \newblock Maintenance of transitive closure and transitive reduction of graphs.
98: \newblock In {\em Proc. Workshop on Graph-Theoretic Concepts in Computer
99: Science}, pages 106--120. Lecture Notes in Computer Science 314,
100: Springer-Verlag, Berlin, 1988.
101:
102: \bibitem{M71}
103: {I.} Munro.
104: \newblock Efficient determination of the transitive closure of a directed
105: graph.
106: \newblock {\em Information Processing Letters}, 1(2):56--58, 1971.
107:
108: \bibitem{Y93}
109: D.~M. Yellin.
110: \newblock Speeding up dynamic transitive closure for bounded degree graphs.
111: \newblock {\em Acta Informatica}, 30:369--384, 1993.
112:
113: \bibitem{Z98}
114: U.~Zwick.
115: \newblock All pairs shortest paths in weighted directed graphs - exact and
116: almost exact algorithms.
117: \newblock In {\em Proc. of the 39th IEEE Annual Symposium on Foundations of
118: Computer Science (FOCS'98)}, pages 310--319, Los Alamitos, CA, November 8--11
119: 1998.
120:
121: \end{thebibliography}
122: