Halting space-bounded computations
scientific article; zbMATH DE number 3658970