TY  - RPRT
TI  - Circuits and Formulas for Datalog over Semirings
AU  - Austen Z. Fan
AU  - Paraschos Koutris
AU  - Sudeepa Roy
PY  - 2025
UR  - https://arxiv.org/abs/2504.08914
ID  - 2504.08914
ER  -