罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 为什么CP投资组合解决方案的利用率（不足）？问题和挑战。 （英语） Zbl 1473.68184号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9527, 349-364 (2015).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Amadini}等人，Lect。注释计算。科学。9527349--364（2015；Zbl 1473.68184） 全文： DOI程序 哈尔
毛里齐奥·加布里埃利;雅各布·毛罗;Maria Chiara Meo女士 CHR的表达能力和优先级。 （英语） Zbl 1358.68053号 Inf.计算。 228-229, 62-82 (2013).MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Gabbrielli}等人，《信息计算》。228--229、62-82（2013；Zbl 1358.68053） 全文： DOI程序