TY - RPRT TI - A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics AU - Renaud Vilmart PY - 2018 UR - https://arxiv.org/abs/1812.09114 ID - 1812.09114 ER -