@inproceedings{conf/dagstuhl/Kuske07, title = {Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic.}, author = {Dietrich Kuske}, booktitle = {Algorithmic-Logical Theory of Infinite Structures}, crossref = {conf/dagstuhl/2007P7441}, editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7441.html#Kuske07}, volume = {07441}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2af0f6890ab1a420b9811feac83232e86/dblp}, description = {dblp}, date = {2008-05-15}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1407}, keywords = {dblp } }