Proportional fairness in multi-carrier system with multi-slot frames: upper bound and user multiplexing algorithms | IEEE Journals & Magazine | IEEE Xplore