范霍夫，维姆；丹尼·德·施雷耶；伯尔尼马滕斯 逻辑程序的自下而上部分演绎。 （英语） Zbl 0946.68012号 J.功能。日志。程序。 1999年，规范发行。2，第5条，33页（1999年）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Vanhoof}等人，J.Funct。日志。程序。1999年，第5条，33页（1999年；Zbl 0946.68012） 全文： 链接
温·范霍夫；丹尼·德·施雷耶；伯尔尼马滕斯 逻辑程序自下而上专业化的框架。 （英语） Zbl 0910.68041号 Palamidessi，Catuscia（编辑）等，声明式编程原理。第十届国际研讨会，PLILP’98。1998年9月16日至18日在意大利比萨与第六届国际会议ALP'98联合举行。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1490, 54-72 (1998).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Vanhoof}等人，Lect。注释计算。科学。1490、54-72（1998年；Zbl 0910.68041）
丹尼·德·施雷耶；伯尔尼马滕斯；冈瑟·萨布隆；莫里斯·布吕诺格 将自下而上和混合派生编译为自上而下的可执行逻辑程序。 （英语） Zbl 0733.68013号 J.汽车。推理 7，第3期，337-358（1991）.MSC公司：第68页第20页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.de Schreye}等人，J.Autom。推理7，No.3，337--358（1991；Zbl 0733.68013） 全文： 内政部