Completeness of the ZX-Calculus

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Completeness of the ZX-Calculus. Logical Methods in Computer Science, 16(2), 2020. [doi]

Abstract

Abstract is missing.