Compact Representations for the Design of Quantum Logic - Niemann, Philipp; Wille, Robert (Springer International Publishing : Imprint: Springer, 2017)