@inproceedings{CDPV,
  TITLE = {Quantum Circuit Completeness: Extensions and Simplifications},
  AUTHOR = {Cl{\'e}ment, Alexandre and Delorme, No{\'e} and Perdrix, Simon and Vilmart, Renaud},
  URL = {https://hal.science/hal-04016498},
  BOOKTITLE = {{32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}},
  ADDRESS = {Naples, Italy},
  YEAR = {2024},
  MONTH = Feb,
  KEYWORDS = {Completeness ; Graphical Language ; Quantum Circuits},
  PDF = {https://hal.science/hal-04016498v3/file/main.pdf},
  HAL_ID = {hal-04016498},
  HAL_VERSION = {v3},
  eprint={2303.03117},
  arxiv_long = {https://arxiv.org/abs/2303.03117},
  doi={10.4230/LIPIcs.CSL.2024.20}}