Efficient solution of connectivity problems on hierarchically defined graphs. - Lengauer, Thomas; Wanke, Egon (SIAM Journal on Computing, 1988)