TY - RPRT TI - Symbolic Synthesis of Clifford Circuits and Beyond AU - Matthew Amy AU - Owen Bennett-Gibbs AU - Neil J. Ross PY - 2023 DO - 10.4204/eptcs.394.17 UR - https://arxiv.org/abs/2204.14205 ID - 2204.14205 ER -