TY - RPRT TI - Sequential decomposition of propositional logic programs AU - Christian Antić PY - 2023 UR - https://arxiv.org/abs/2304.13522 ID - 2304.13522 ER -