Alt, H., Geffert, V., & Mehlhorn, K. (1992). A lower bound for the nondeterministic space complexity of context-free recognition. Information Processing Letters, 42, 25-27.