@文章{zbMATH07432504，作者={Backhouse，Roland and Doornbos，Henk and Gl{“u}ck，罗兰德and van der Woude，Jaap}，标题={图的成分和非循环性。{An}练习将精确与简洁结合起来。}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={124}，页码={47}，注={Id/No 100730}，年份={2022}，语言={英语}，DOI={10.1016/j.jlamp.2021.100730}，关键词={68R10,05C25,05C85}，zbMATH={7432504}，Zbl={1481.68034}}