Separator based sparsification for dynamic planar graph algorithmsDavid EppsteinZvi Galilet al.1993STOC 1993