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

by M Blum, D Kozen
Venue:In Proc. Annual Symposium on Foundations of Computer Science