T. Kotek: "Explaining the decompositionality of monadic second order logic using applications to combinatorics"; Talk: Fun With Formal Methods Workshop, Wien; 2014-07-13.