@第{zbMATH06688095条，作者={Jay，Barry and Vergara，Jose}，标题={{\（\lambda\）}}的冲突帐户，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={87}，Pages＝{1-3}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2016.11.001}，关键词={03B40}，zbMATH={6688095}，Zbl={1403.03020}}