1. Arnold, A., Niwiński, D.: Fixed point characterization of weak monadic logic definable set of trees. In: Nivat, M., Podelski, A. (eds.) Tree Automata and Languages, pp. 159–188. Elsevier, Amsterdam (1992)
2. Studies in Logic and the Foundations of Mathematics;A. Arnold,2001
3. Lecture Notes in Computer Science;G. Bruns,2004
4. Lecture Notes in Computer Science;L. Alfaro de,2003
5. Droste, M., Gastin, P.: Weighted automata and weighted logics. Theoretical Computer Science 380, 69–86 (2007)