Distributed Model Checking on Graphs of Bounded Treedepth. - Fomin, Fedor V.; Fraigniaud, Pierre; Montealegre, Pedro; Rapaport, Ivan; Todinca, Ioan (Algorithmica, 2026)