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