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