A characterization of exponential-time languages by alternating context- free grammars
linear-erasing alternating context-free grammars
scientific article; zbMATH DE number 65336
scientific article