Before revision:   ]  ]  Our algorithms are based on the idea of using recursion as in Savitch's theorem \mbox{%DIFAUXCMD \cite{Savitch70}\hspace{0pt}%DIFAUXCMD }  , and a careful modification of previous techniques to make the recursion work.
After revision:  ] about approximating ED in the asymmetric streaming model, reducing the running time from being exponential in ] Our algorithms are based on the idea of using recursion as in Savitch's theorem \mbox{%DIFAUXCMD \cite{Savitch70}\hspace{0pt}%DIFAUXCMD } , and a careful modification of previous techniques to make the recursion work.