"On the Expressive Power of Monadic Least Fixed Point Logic."

Nicole Schweikardt (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics