Generalized quantifier and a bounded arithmetic theory for LOGCFL
scientific article; zbMATH DE number 5162361