TY - RPRT TI - Expanding the expressive power of Monadic Second-Order logic on restricted graph classes AU - Robert Ganian AU - Jan Obdržálek PY - 2013 UR - https://arxiv.org/abs/1306.5571 ID - 1306.5571 ER -