@InProceedings{clement2023complete,
      title={A Complete Equational Theory for Quantum Circuits}, 
      author={Alexandre Clément and Nicolas Heurtel and Shane Mansfield and Simon Perdrix and Benoît Valiron},
      booktitle ={Proceedings of the 38th Annual ACM IEEE Symposium on Logic in Computer Science (LICS)},
      address = {Boston, MA, USA},
      year={2023},
      eprint={2206.10577},
     
}