Decidability of MSO Theories of Tree Structures - Montanari, A; Puppis, G (2004)