@收款{zbMATH06946980，作者={Doczkal，Christian and Combette，Guillaume and Pous，Damien}，Title={树宽-两个图的minor-exclusion属性的形式证明}，BookTitle={交互式定理证明。第九届国际会议，ITP 2018，作为联邦逻辑会议的一部分，FloC 2018，英国牛津，2018年7月9日至12日举行。诉讼}，国际标准图书编号={978-3-319-94820-1；978-3-3169-94821-8}，页码={178--195}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-94821-8_11}，关键词={68V20,03B35,05C05,05C60,05C83,68V15}，zbMATH={6946980}，Zbl={1468.68319}}