@第{zbMATH00639137条，作者={Deville，Yves and Lau，Kung-Kiu}，标题＝{逻辑程序合成}，FJournal={逻辑编程杂志}，日志={J.Log.Program.}，ISSN={0743-1066}，体积={19-20}，页码={321--350}，年份＝{1994}，语言={英语}，DOI={10.1016/0743-1066（94）90029-9}，关键词={68N17,68Q60}，zbMATH={639137}，Zbl={0942.68525}}