Trellis decoding of block codes for the 2-user binary adder channel | IEEE Conference Publication | IEEE Xplore