@misc{indiciae6d319fa8a69e,
  title = {Size Bound-Adorned Datalog},
  author = {Christian Fattebert and Zhekai Jiang and Christoph Koch and Reinhard Pichler and Qichen Wang},
  year = {2026},
  doi = {10.1145/3801893},
  url = {https://arxiv.org/abs/2603.15425},
  note = {Source identifier: 2603.15425}
}