Stephen A. Fenner Lance Fortnow Stuart A. Kurtz Gap-Definable Counting Classes. 116-148 1994 48 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss48.html#FennerFK94