@misc{indiciaeb016af742cec,
  title = {Generalized LIMDDs: Succinctness and Canonicity for Decision Diagrams Modulo a Group},
  author = {Arend-Jan Quist and Alexis de Colnet and Thomas Reps and Alfons Laarman},
  year = {2026},
  url = {https://arxiv.org/abs/2609.35271},
  note = {Source identifier: 2609.35271}
}