1. A categorical semantics of quantum protocols;Abramsky,2004
2. A finite presentation of cnot-dihedral operators;Amy,2018
3. The ZX-calculus is complete for stabilizer quantum mechanics;Backens;New J. Phys.,2014
4. The ZX-calculus is complete for the single-qubit Clifford+t group;Backens,2014
5. Making the stabilizer ZX-calculus complete for scalars;Backens;Electron. Proc. Theor.l Comput. Sci.,2015