Berthon, Filiot, Guha, Murano, Pinault, Raskin, Rubin, 2019. Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable.