TY  - RPRT
TI  - Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
AU  - Jonathan Gorard
AU  - Manojna Namuduri
AU  - Xerxes D. Arsiwalla
PY  - 2021
UR  - https://arxiv.org/abs/2105.04057
ID  - 2105.04057
ER  -