Efficient approximation of diagonal unitaries over the Clifford+T basis. - Jonathan Welch; Alex Bocharov; Krysta M. Svore (Quantum Inf. Comput., 2016)