@第{zbMATH07228990条，作者={Grastien、Alban和Scala、Enrico}，Title={{CPCES}：通过反例引导细化解决一致规划问题的规划框架}，FJournal={人工智能}，日志={Artif.Intern.}，ISSN={0004-3702}，体积={284}，Pages={38}，注={Id/编号103271}，年份={2020年}，语言={英语}，DOI={10.1016/j.artint.2020.103271}，关键词={68T20}，zbMATH={7228990}，Zbl={1451.68248}}