A tradeoff theorem for space and reversal
scientific article; zbMATH DE number 3868614