@inproceedings{CHMPV,
  TITLE = {A Complete Equational Theory for Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre and Heurtel, Nicolas and Mansfield, Shane and Perdrix, Simon and Valiron, Beno{\^i}t},
  URL = {https://hal.science/hal-03926757},
  BOOKTITLE = {2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  ADDRESS = {Boston, United States},
  PUBLISHER = {{IEEE}},
  PAGES = {1-13},
  YEAR = {2023},
  MONTH = Jun,
  DOI = {10.1109/LICS56636.2023.10175801},
  HAL_ID = {hal-03926757},
  HAL_VERSION = {v1},
  eprint={2206.10577},
  arxiv_long = {https://arxiv.org/abs/2206.10577}}