@收款{zbMATH06165899，作者={Courcelle，Bruno}，Title={图运算、图变换和一元二阶逻辑：综述}，BookTitle={GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼}，页码={122--126}，年份={2002}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/S1571-0661（04）80196-8}，关键词={68Q42,03B15}，zbMATH={6165899}，Zbl={1263.68071}}