Karsten Weihe Edge-Disjoint (s, t)-Paths in Undirected Planar Graphs in Linear Time. 121-138 1997 23 J. Algorithms 1 db/journals/jal/jal23.html#Weihe97