On Infinite Terms Having a Decidable Monadic Theory.

Didier Caucal

Browse the full MFCS paper archive.