@第{zbMATH00039771条，作者={Domenjoud，Eric}，标题=｛关于{AC}-统一。{方程{{（\alphax_1+\cdots+\alpha-x_p\doteq_{AC}\betay_1+\cdots+\ betay_q\）}}}的最小单位数，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={8}，数字={1}，页码={39--44}，年份={1992年}，语言={英语}，DOI={10.1007/BF00263448}，关键词={68Q42,11D04}，zbMATH={39771}，Zbl=｛0768.68068｝}