@第{zbMATH04213425条，作者={de Schreye，Danny and Martens，Bern and Sablon，Gunther and Bruynooghe，Maurice}，Title={将自下而上和混合派生编译为自上而下的可执行逻辑程序}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN＝{0168-7433}，体积＝｛7｝，数字={3}，页码={337--358}，年份={1991年}，语言={英语}，DOI={10.1007/BF00249018}，关键词={68N20,68N17}，zbMATH={4213425}，Zbl={0733.68013}}