TY - RPRT TI - Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic AU - Dietrich Kuske PY - 2008 UR - https://arxiv.org/abs/0802.2862 ID - 0802.2862 ER -