TY  - RPRT
TI  - Size Bound-Adorned Datalog
AU  - Christian Fattebert
AU  - Zhekai Jiang
AU  - Christoph Koch
AU  - Reinhard Pichler
AU  - Qichen Wang
PY  - 2026
DO  - 10.1145/3801893
UR  - https://arxiv.org/abs/2603.15425
ID  - 2603.15425
ER  -