@inproceedings{STOC-1986-GalilKS,
	author        = "Zvi Galil and Ravi Kannan and Endre Szemerédi",
	booktitle     = "{Proceedings of the 18th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/12130.12135",
	isbn          = "0-89791-193-8",
	pages         = "39--49",
	publisher     = "{ACM}",
	title         = "{On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines}",
	year          = 1986,
}