TY - RPRT TI - On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$ AU - Sylvain Schmitz AU - Lia Schütze PY - 2024 DO - 10.4230/lipics.icalp.2024.153 UR - https://arxiv.org/abs/2310.02847 ID - 2310.02847 ER -