TY - RPRT TI - Dynamic reconfiguration of component-based systems described by propositional configuration logic AU - George Rahonis AU - Melpomeni Soula PY - 2023 UR - https://arxiv.org/abs/2303.00794 ID - 2303.00794 ER -