@techreport{mehlhorn76v,
TITLE = {An improved lower bound on the formula complexity of context-free recognition},
AUTHOR = {Mehlhorn, Kurt},
LANGUAGE = {eng},
LOCALID = {Local-ID: C1256428004B93B8-CD622EEA82E2D4C9C125721B00327D32-mehlhorn76v},
INSTITUTION = {Fachbereich Informatik, Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {1976},
DATE = {1976},
TYPE = {Report},
}