TY - RPRT TI - Sequential composition of propositional logic programs AU - Christian Antic PY - 2023 UR - https://arxiv.org/abs/2009.05774 ID - 2009.05774 ER -