保罗·皮洛齐;汤姆·施里杰弗斯;莫里斯·布吕诺格 证明CHR约束存储属性的转换方法。 （英语） Zbl 1284.68118号 De Schreye，Danny（编辑），基于逻辑的程序合成和转换。第19届国际研讨会，2009年LOPSTR，2009年9月，葡萄牙科英布拉。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-12591-1/pbk）。计算机科学课堂讲稿6037，22-36（2010）。MSC公司：68N17号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{P.Pilozzi}等人，Lect。注释计算。科学。6037、22-36（2010年；Zbl 1284.68118） 全文： 内政部 链接
丹尼·德·施雷耶;伯尔尼马滕斯;冈瑟·萨布隆;莫里斯·布吕诺格 将自下而上和混合派生编译为自上而下的可执行逻辑程序。 （英语） Zbl 0733.68013号 J.汽车。推理 7，第3期，337-358（1991）.MSC公司：68N20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.de Schreye}等人，J.Autom。推理7，No.3，337--358（1991；Zbl 0733.68013） 全文： 内政部
丹尼尔·德·施雷耶;莫里斯·布吕诺格 抽象解释在源代码级程序转换中的应用。 （英语） Zbl 0715.68057号 程序设计语言实现和逻辑编程。国际研讨会，奥尔良/法国，1988年，Lect。注释计算。科学。348, 35-57 (1989).MSC公司：60年第68季度 68号01 68N17号 PDF格式BibTeX公司 XML格式
莫里斯·布吕诺格;吕克·德·雷德;丹尼·德·施雷耶 基于解释的程序转换。 （英语） Zbl 0708.68011号 IJCAI-89，程序。国际会议，密歇根州底特律，美国1989，407-412（1989）。 审核人：N.Curteanu公司 MSC公司：68N17号 68T05型 60年第68季度 PDF格式BibTeX公司 XML格式
莫里斯·布吕诺格;丹尼·德·施雷耶;布鲁诺·克雷克尔斯 编译控件。 （英语） Zbl 0668.68025号 J.逻辑程序。 6，编号1-2，135-162（1989）.MSC公司：第68页第25页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bruynooghe}等人，J.Log。程序。6，编号1--2，135-162（1989；Zbl 0668.68025） 全文： 内政部 链接