On the power of the compass (or, why mazes are easier to search than graphs (1978)

by Manuel Blum, Dexter Kozen
Venue:In IEEE Symposium on Foundations of Computer Science (FOCS