@InProceedings{DiGuardia26,
  author    = {Di Guardia, R{\'e}mi},
  title     = {Confluence Modulo and Undecidability of Cut-Elimination},
  booktitle = {Tenth International Workshop on Trends in Linear Logic and its Applications (TLLA 2026)},
  editor    = {Olimpieri, Federico},
  year      = {2026},
  url		= {https://hal.science/hal-05198754}
}