@第{zbMATH07271810条，作者={Berghammer、Rudolf和Furusawa、Hitoshi和Guttmann、Walter和H{“o}fner、Peter}，标题={路径的关系特征}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={117}，页码={19}，注={Id/No 100590}，年份={2020}，语言={英语}，DOI={10.1016/j.jlamp.2020.100590}，关键词={05C38,03B35,03G15,05C85,68V15}，zbMATH={7271810}，Zbl={1462.05198}}