A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
scientific article; zbMATH DE number 7298781