On nontrivial separators for k-page graphs and simulations by nondeterministic one-tape Turing machines (1990)

by Z Galil, R Kannan, E Szemeredi
Venue:Journal of Computer and System Sciences