TY - RPRT TI - Directed treewidth is closed under taking butterfly minors AU - Gunwoo Kim AU - Meike Hatzel AU - Stephan Kreutzer PY - 2025 UR - https://arxiv.org/abs/2503.23977 ID - 2503.23977 ER -