Where first-order and monadic secondorder logic coincide (2012)

by M Elberfeld, M Grohe, T Tantau
Venue:In LICS