Gap-definable counting classes | IEEE Conference Publication | IEEE Xplore