@收款{zbMATH07297863，作者={van den Heuvel，Jan和Kreutzer，Stephan和Pilipczuk，Micha和Quiroz，Daniel A.和Rabinovich，Roman和Siebertz，Sebastian，Title={有界展开图类上连续不变一阶公式的模型检查}，BookTitle={2017年第32届ACM/IEEE计算机科学逻辑年会论文集，2017年LICS，冰岛雷克雅夫大学，2017年6月20日至23日}，国际标准图书编号={978-1-5090-3018-7}，页码={11}，注={Id/No 55}，年份={2017年}，出版商={新泽西州皮斯卡塔韦：IEEE出版社}，语言={英语}，关键词={68Q60,03B10,03C13,68Q27}，URL={dl.acm.org/citation.cfm？id=3330050}，zbMATH={7297863}，Zbl={1460.68066}}