Achievability proof of some multiuser channel coding theorems using backward decoding | IEEE Journals & Magazine | IEEE Xplore