Lengauer, T., & Tarjan, R. E. (1982). Asymptotically Tight Bounds on Time-space Trade-offs in a Pebble Game. Journal of the ACM, 29(4), 1087-1130. doi:10.1145/322344.322354.