Vladimir Trifonov. An O(log n log log n) space algorithm for undirected st-connectivity. In Harold N. Gabow, Ronald Fagin, editors, Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005. pages 626-633, ACM, 2005. [doi]
Abstract is missing.