Encoding and Decoding Binary Product Lattices | IEEE Journals & Magazine | IEEE Xplore