Mehlhorn, K.(1976). An improved lower bound on the formula complexity of context-free recognition (Local-ID: C1256428004B93B8-CD622EEA82E2D4C9C125721B00327D32-mehlhorn76v). Saarbrücken: Fachbereich Informatik, Universität des Saarlandes.