@第{zbMATH06086011条，作者={博迪尔斯基、曼努埃尔和希尔斯、马丁和马丁、巴纳比}，Title={关于约束满足的泛代数方法的范围}，FJournal={计算机科学中的逻辑方法}，Journal＝｛Log.Methods Comput.Sci.｝，ISSN={1860-5974}，体积={8}，数字={3}，页码={30}，注={Id/No 13}，年份={2012}，语言={英语}，DOI={10.2168/LMCS-8（3:13）2012}，关键词={68Q25,03C07,08A70,68T20}，zbMATH={6086011}，Zbl={1308.68062}}