@第{zbMATH07138316条，作者={Azzi、Guilherme Grochau和Corradini、Andrea和Ribeiro、Leila}，标题={关于{{（\mathcal{M}）}}-粘着变换系统}中冲突的本质和初始性，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={109}，Pages＝｛32｝，注={Id/No 100482}，年份={2019}，语言={英语}，DOI={10.1016/j.jlamp.2019.100482}，关键词={68Q42,68Q85}，zbMATH={7138316}，Zbl={1435.68131}}