A very hard log space counting class | IEEE Conference Publication | IEEE Xplore