Manfred Droste Werner Kuich George Rahonis Multi-Valued MSO Logics OverWords and Trees. 305-327 2008 84 Fundam. Inform. 3-4 http://iospress.metapress.com/content/j9652453g663425m/ db/journals/fuin/fuin84.html#DrosteKR08