@第{zbMATH06038201条，作者={Gerevini、Alfonso E.和Saetti、Alessandro和Serina、Ivan}，Title={通过规则操作图和本地搜索在具有派生谓词的域中进行规划}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN＝{1012-2443}，体积＝{62}，数字={3-4}，页码={259--298}，年份={2011}，语言={英语}，DOI={10.1007/s10472-011-9240-3}，关键词={68T20,68T99}，zbMATH={6038201}，Zbl={1252.68269}}