Tree Evaluation Is in Space O(log n · log log n).

James Cook, Ian Mertz

Browse the full STOC paper archive.