何塞·莫拉莱斯（Jose F.Morales）。;雷米·海默尔;曼纽尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 将（C）LP轻量级编译为JavaScript。 （英语） Zbl 1261.68044号 理论与实践。日志。程序。 12，编号4-5，755-773（2012）.MSC公司：68N20型 68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人，《理论与实践》。日志。程序。12、编号4--5、755--773（2012；Zbl 1261.68044） 全文： 内政部 arXiv公司
阿马迪奥·卡萨斯;曼纽尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 非确定性、无限制、独立和并行的高级实现。 （英语） Zbl 1185.68152号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，651-666（2008）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Casas｝等人，Lect。注释计算。科学。5366、651--666（2008年；Zbl 1185.68152） 全文： 内政部 链接
曼纽尔·赫尔梅内吉尔多 约束编程的一些挑战。 （英语） Zbl 1315.68066号 约束条件 第2期，第1期，第63-69页（1997年）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermenegildo}，约束2，No.1，63--69（1997；Zbl 1315.68066） 全文： 内政部
曼纽尔·赫尔梅内吉尔多（编辑）;Jaan Penjam（编辑） 编程语言实现和逻辑编程。1994年9月14日至16日在西班牙马德里举行的第六届国际研讨会，PLILP’94。诉讼程序。 （英语） Zbl 0802.0047号 计算机科学课堂讲稿844.柏林：斯普林格·弗拉格。xii，469页（1994年）。MSC公司：00B25型 68-06 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermenegildo}（编辑）和\textit{J.Penjam}（编），编程语言实现和逻辑编程。1994年9月14日至16日在西班牙马德里举行的第六届国际研讨会，PLILP’94。诉讼程序。柏林：Springer-Verlag（1994；Zbl 0802.0047）
M.V.Hermenegildo。 逻辑程序的有限与并行执行的一种抽象机器。 （英语） Zbl 0598.68021号 逻辑编程，Proc。第三届国际会议，伦敦，1986年，Lect。注释计算。科学。225, 25-39 (1986). 审核人：N.Curteanu公司 MSC公司：68N25号 68瓦30 68T20型 PDF格式BibTeX公司 XML格式