TY  - RPRT
TI  - Algebraic complete axiomatisation of ZX-calculus with a normal form via elementary matrix operations
AU  - Quanlong Wang
PY  - 2022
UR  - https://arxiv.org/abs/2007.13739
ID  - 2007.13739
ER  -