@inproceedings{CDP,
  TITLE = {Minimal Equational Theories for Quantum Circuits},
  AUTHOR = {Cl{\'e}ment, Alexandre and Delorme, No{\'e} and Perdrix, Simon},
  URL = {https://hal.science/hal-04399210},
  commentBOOKTITLE = {{LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science}},
  BOOKTITLE = {{LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science}},
  ADDRESS = {Tallinn, Estonia},
  PUBLISHER = {{ACM}},
  commentSERIES = {Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science},
  NUMBER = {27},
  PAGES = {1-14},
  YEAR = {2024},
  MONTH = Jul,
  DOI = {10.1145/3661814.3662088},
  HAL_ID = {hal-04399210},
  HAL_VERSION = {v1},
  eprint={2311.07476},
  arxiv_long = {https://arxiv.org/abs/2311.07476}}