Rabin Tree Automata and Finite Monoids.

Danile Beauquier, Andreas Podelski

Browse the full MFCS paper archive.