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