Size Bound-Adorned Datalog. - Christian Fattebert; Zhekai Jiang; Christoph Koch 001; Reinhard Pichler; Qichen Wang 001 (CoRR, 2026)