@收款{zbMATH05535586，作者={Antonopoulos，Timos和Dawar，Anuj}，标题＝｛将图逻辑与｛MSO｝分离｝，BookTitle={软件科学和计算结构基础。第12届国际会议，FOSSACS 2009，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2009，2009年3月22-29日，英国约克。诉讼}，国际标准图书编号={978-3-642-00595-4}，页码={63--77}，年份={2009}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-00596-1_6}，关键词={03D05,03B15}，zbMATH={5535586}，Zbl={1234.03022}}