TY - RPRT TI - Structured d-DNNF Is Not Closed Under Negation AU - Harry Vinall-Smeeth PY - 2024 UR - https://arxiv.org/abs/2402.04832 ID - 2402.04832 ER -