Time/space trade-offs for reversible computation (1989)

by C H Bennett
Venue:SIAM Journal on Computing