On separating complexity classes | IEEE Conference Publication | IEEE Xplore