@收款{zbMATH07810418，作者={Courcelle，Bruno}，Title={图的一元二阶逻辑：有限图的可定义集}，BookTitle={计算机科学中的图论概念。第14届国际研讨会，WG'88，荷兰阿姆斯特丹，1988年6月15日至17日。诉讼}，国际标准图书编号={978-3-540-50728-4；978-3-440-46076-3}，Pages={30-53}，年份={1989年}，Publisher={Berlin等：Springer-Verlag}，语言={英语}，DOI={10.1007/3-540-50728-0_34}，关键词={03B16,03B25,05C75,68Q42}，zbMATH={7810418}}