TY - RPRT TI - First-Order Model Checking on Monadically Dependent Graph Classes AU - Jan Dreier AU - Nikolas Mählmann AU - Szymon Toruńczyk PY - 2026 UR - https://arxiv.org/abs/2611.08143 ID - 2611.08143 ER -