When do fixed point logics capture complexity classes? | IEEE Conference Publication | IEEE Xplore