ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory. - Jonathan Gorard; Manojna Namuduri; Xerxes D. Arsiwalla (CoRR, 2020)

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification. - Jonathan Gorard; Manojna Namuduri; Xerxes D. Arsiwalla (CoRR, 2021)

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure. - Jonathan Gorard; Manojna Namuduri; Xerxes D. Arsiwalla (CoRR, 2021)