b'@techreport{mehlhorn76v,'b'\nTITLE = {An improved lower bound on the formula complexity of context-free recognition},\nAUTHOR = {Mehlhorn, Kurt},\nLANGUAGE = {eng},\nLOCALID = {Local-ID: C1256428004B93B8-CD622EEA82E2D4C9C125721B00327D32-mehlhorn76v},\nINSTITUTION = {Fachbereich Informatik, Universit{\\"a}t des Saarlandes},\nADDRESS = {Saarbr{\\"u}cken},\nYEAR = {1976},\nDATE = {1976},\nTYPE = {Report},\n}\n'