TY - RPRT TI - Set-like operations on propositional logic programs AU - Christian Antić PY - 2026 UR - https://arxiv.org/abs/2605.03613 ID - 2605.03613 ER -