On derivation trees of indexed grammars - an extension of the uvwxy- theorem
scientific article; zbMATH DE number 3501025