A Linguistic Characterization of Bounded Oracle (1998)

by J Mitchell, M Mitchell, A Schedrov
Venue:Computation and Probabilistic Polynomial Time. 39th FOCS