Constructing Infinite Graphs with a Decidable MSO-Theory.

Wolfgang Thomas

Browse the full MFCS paper archive.