@第{zbMATH05229054条，作者={Mesnard，Fred和Serebrenik，Alexander}，标题={仿射级映射的递归是{P} -时间可判定{{\（\mathrm{CLP}（{\mathbbR}）}}}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={8}，数字={1}，页码={111--119}，年份＝｛2008｝，语言={英语}，DOI={10.1017/S1471068407003122}，关键词={68N17}，zbMATH={5229054}，Zbl={1128.68017}}