Gap-definable counting classes (1994)

by S Fenner, L Fortnow, S Kurtz
Venue:Journal of Computer and System Sciences