D. A. M. Barrington, C.-J. Lu, P. B. Miltersen, and S. Skyum, “Searching Constant Width Mazes Captures the AC0 Hierarchy”, BRICS, vol. 4, no. 25, Jan. 1997.