On Integer-Forcing Precoding for the Gaussian MIMO Broadcast Channel | IEEE Journals & Magazine | IEEE Xplore