@第{zbMATH05318676条，作者={J{“a}ger，Gerhard和Kretz，Mathis和Studer，Thomas}，标题={无穷大{{\（\mu\）}}}的正则完备性，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={76}，数字={2}，页码={270--292}，年份={2008}，语言={英语}，DOI={10.1016/j.jlap.2008.02.005}，关键词={68N30,03B45,03B70}，URL={boris.unibe.ch/37095/1/jks08.pdf}，zbMATH={5318676}，Zbl={1156.68013}}