State-Dependent Interference Channel With Correlated States | IEEE Journals & Magazine | IEEE Xplore