Satoru Kuroda Generalized quantifier and a bounded arithmetic theory for LOGCFL. 489-516 2007 46 Arch. Math. Log. 5-6 http://dx.doi.org/10.1007/s00153-007-0052-4 db/journals/aml/aml46.html#Kuroda07