Reversible simulation of space-bounded computations
scientific article; zbMATH DE number 985682
scientific article