TY - RPRT TI - The algebra of Krom logic programs AU - Christian Antić PY - 2026 UR - https://arxiv.org/abs/2606.15719 ID - 2606.15719 ER -