DS-2015-05: Carreiro, Facundo (2015) Fragments of Fixpoint Logics: Automata and Expressiveness. Doctoral thesis, University of Amsterdam.