@第{zbMATH06341217条，作者={Winter，Michael and Kempf，Peter}，标题={余代数序列合成的关系性质}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={83}，数字={2}，页码={284--299}，年份={2014}，语言={英语}，DOI={10.1016/j.jlap.2014.02.011}，关键词={68Q65,18B10,68Q85}，zbMATH={6341217}，Zbl={1434.68306}}