@inproceedings{CookMertz2024,
  author    = {Cook, James and Mertz, Ian},
  title     = {Tree Evaluation Is in Space {$O(\log n \cdot \log\log n)$}},
  booktitle = {Proceedings of the 56th Annual ACM Symposium on Theory of Computing},
  series    = {STOC '24},
  year      = {2024},
  pages     = {1268--1278},
  publisher = {Association for Computing Machinery},
  doi       = {10.1145/3618260.3649664},
  url       = {https://wrap.warwick.ac.uk/id/eprint/185307/8/3618260.3649664.pdf},
  note      = {\href{https://doi.org/10.1145/3618260.3649664}{doi:10.1145/3618260.3649664}; \href{https://wrap.warwick.ac.uk/id/eprint/185307/8/3618260.3649664.pdf}{full text}}
}

@inproceedings{Williams2025,
  author    = {Williams, R. Ryan},
  title     = {Simulating Time with Square-Root Space},
  booktitle = {Proceedings of the 57th Annual ACM Symposium on Theory of Computing},
  series    = {STOC '25},
  year      = {2025},
  pages     = {13--23},
  publisher = {Association for Computing Machinery},
  doi       = {10.1145/3717823.3718225},
  url       = {https://people.csail.mit.edu/rrw/time-vs-space.pdf},
  note      = {\href{https://doi.org/10.1145/3717823.3718225}{doi:10.1145/3717823.3718225}. Full version: \href{https://people.csail.mit.edu/rrw/time-vs-space.pdf}{arXiv:2502.17779}; section references are to the full version}
}

@misc{Goldreich2024,
  author       = {Goldreich, Oded},
  title        = {On the {Cook--Mertz} Tree Evaluation Procedure},
  year         = {2024},
  howpublished = {Electronic Colloquium on Computational Complexity, Report TR24-109, revision 2},
  note         = {\href{https://eccc.weizmann.ac.il/report/2024/109/revision/2/download}{Full text}}
}

@article{Paterson1972,
  author  = {Paterson, Michael S.},
  title   = {Tape Bounds for Time-Bounded {Turing} Machines},
  journal = {Journal of Computer and System Sciences},
  volume  = {6},
  number  = {2},
  pages   = {116--124},
  year    = {1972},
  doi     = {10.1016/S0022-0000(72)80017-5},
  note    = {\href{https://doi.org/10.1016/S0022-0000(72)80017-5}{doi:10.1016/S0022-0000(72)80017-5}}
}

@article{IbarraMoran1983,
  author  = {Ibarra, Oscar H. and Moran, Shlomo},
  title   = {Some Time-Space Tradeoff Results Concerning Single-Tape and Offline {TM}'s},
  journal = {SIAM Journal on Computing},
  volume  = {12},
  number  = {2},
  pages   = {388--394},
  year    = {1983},
  doi     = {10.1137/0212025},
  note    = {\href{https://doi.org/10.1137/0212025}{doi:10.1137/0212025}}
}

@article{LiskiewiczLorys1990,
  author  = {Li{\'s}kiewicz, Maciej and Lory{\'s}, Krzysztof},
  title   = {Fast Simulations of Time-Bounded One-Tape {Turing} Machines by Space-Bounded Ones},
  journal = {SIAM Journal on Computing},
  volume  = {19},
  number  = {3},
  pages   = {511--521},
  year    = {1990},
  doi     = {10.1137/0219034},
  note    = {\href{https://doi.org/10.1137/0219034}{doi:10.1137/0219034}}
}

@article{LadnerLynch1976,
  author  = {Ladner, Richard E. and Lynch, Nancy A.},
  title   = {Relativization of Questions About Log Space Computability},
  journal = {Mathematical Systems Theory},
  volume  = {10},
  pages   = {19--32},
  year    = {1976},
  url     = {https://groups.csail.mit.edu/tds/papers/Lynch/mst76.pdf},
  note    = {\href{https://groups.csail.mit.edu/tds/papers/Lynch/mst76.pdf}{Full text}}
}