@第{zbMATH05761834条，作者={乔夫鲁特，克里斯蒂安和弗里吉里，阿基利}，Title={决定在{Presburger}公式}中是否需要排序，FJournal={离散数学与理论计算机科学.DMTCS}，Journal={离散数学Theor.Comput.Sci.}，ISSN={1365-8050}，体积={12}，数字={1}，页码={21--38}，年份={2010}，语言={英语}，关键词={03B25,03F30}，URL={www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1300/0.html}，zbMATH={5761834}，Zbl={1204.03021}}