@misc{indiciaece711ae4952d,
  title = {Synthesizing Abstract Transformers for Reduced-Product Domains},
  author = {Pankaj Kumar Kalita and Thomas Reps and Subhajit Roy},
  year = {2024},
  url = {https://arxiv.org/abs/2408.04040},
  note = {Source identifier: 2408.04040}
}