Separating Graph Logic from MSO.

Timos Antonopoulos, Anuj Dawar

Browse the full FOSSACS paper archive.