@第{zbMATH06126071条，作者={Struth，Georg}，标题={左ω代数和正则方程}，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={81}，数字={6}，页码={705--717}，年份={2012}，语言={英语}，DOI={10.1016/j.jlap.2012.05.004}，关键词={68Q70，68T15}，zbMATH={6126071}，Zbl={1279.68242}}