@misc{indiciae9fef4fa49bf5,
  title = {CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams},
  author = {Meghana Sistla and Swarat Chaudhuri and Thomas Reps},
  year = {2024},
  doi = {10.1145/3651157},
  url = {https://arxiv.org/abs/2211.06818},
  note = {Source identifier: 2211.06818}
}