TY - RPRT TI - The Quantum Logic of Direct-Sum Decompositions AU - David P. Ellerman PY - 2016 UR - https://arxiv.org/abs/1604.01087 ID - 1604.01087 ER -