MSO+∇ is undecidable.

Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak

Browse the full LICS paper archive.