@inproceedings{DBLP:conf/itp/AlmeidaAPS26,
  author       = {Ricardo Almeida and
                  Blair Archibald and
                  Basile Pesin and
                  Michele Sevegnani},
  title        = {Certified Intersection of Commutative Regular Expressions as
                  Solutions of Systems of Linear Diophantine Equations},
  booktitle    = {17th International Conference on Interactive Theorem
                  Proving, {ITP} 2026},
  series       = {Leibniz International Proceedings in Informatics ({LIPIcs})},
  volume       = {382},
  pages        = {7:1--7:20},
  year         = {2026},
  url          = {https://doi.org/10.4230/LIPIcs.ITP.2026.7},
  doi          = {10.4230/LIPIcs.ITP.2026.7},
  bibsource    = {DROPS, https://drops.dagstuhl.de}
}