A data structure for dynamic trees
Making data structures persistent
Journal of Computer and System Sciences
Neil Sarnak
James R. Driscoll
Robert Endre Tarjan
Robert E. Tarjan
Tardis: Affordable Time-travel Debugging in Managed Runtimes
A new approach to computing maximum flows using electrical flows