An extension of LkP.
The class of problems A such that ΣkPA is contained in Σk-1PA,NP.
Defined in [BBS86].
No class.