The ZX−calculus is complete for the single−qubit Clifford+T group (Proceedings 11th workshop on Quantum Physics and Logic‚ Kyoto‚ Japan‚ 4−6th June 2014, 2014)

(untitled) - Backens, M