Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace. - Alexandre Clément; Noé Delorme; Simon Perdrix; Renaud Vilmart (CoRR, 2023)

Quantum Circuit Completeness: Extensions and Simplifications. - Alexandre Clément; Noé Delorme; Simon Perdrix; Renaud Vilmart (CSL, 2024)

Minimal Equational Theories for Quantum Circuits. - Alexandre Clément; Noé Delorme; Simon Perdrix (LICS, 2024)