Symbolic Synthesis of Clifford Circuits and Beyond. - Matthew Amy; Owen Bennett-Gibbs; Neil J. Ross (QPL, 2022)