A Contraction Method to Decide MSO Theories of Deterministic Trees.

Angelo Montanari, Gabriele Puppis

Browse the full LICS paper archive.