JoséF·莫拉莱斯。；曼纽尔·卡罗；曼纽尔·赫尔梅内吉尔多 用Prolog方言描述和优化抽象机器。 （英语） 兹比尔1379.68079 理论与实践。日志。程序。 16，第1期，1-58页（2016年）.MSC公司：68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人，《理论与实践》。日志。程序。16，第1号，1-58（2016；Zbl 1379.68079） 全文： 内政部 arXiv公司
佩德罗·洛佩兹·加西亚；布埃诺，弗朗西斯科；曼纽尔·赫尔梅内吉尔多 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 （英语） Zbl 1192.68130号 新一代计算。 28，第2期，177-206（2010）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人，《新一代计算》。28，第2号，177--206（2010；Zbl 1192.68130） 全文： 内政部 链接
JoséF·莫拉莱斯。；曼纽尔·卡罗；曼纽尔·赫尔梅内吉尔多 面向Prolog扩展中抽象机器的描述和优化。 （英语） Zbl 1196.68034号 Puebla，Germanán（编辑），基于逻辑的程序合成和转换。2006年7月12日至14日在意大利威尼斯举行的2006年LOPSTR第16届国际研讨会。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71409-5/pbk）。《计算机科学讲义》4407，77-93（2007）。MSC公司：68N17号 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Morales}等人，Lect。注释计算。科学。4407，77-93（2007；Zbl 1196.68034） 全文： 内政部 链接
曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。 （英语） Zbl 1076.68540号 科学。计算。程序。 58，编号1-2，115-140（2005）.MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人，科学。计算。程序。58，编号1--2，115-140（2005；Zbl 1076.68540） 全文： 内政部 链接
曼努埃尔五世（Manuel V.Hermenegildo）。；德国普埃布拉；布埃诺，弗朗西斯科；佩德罗·洛佩兹·加西亚 使用抽象解释（和Ciao系统预处理器）进行程序开发。 （英语） Zbl 1067.68544号 Cousot，Radhia（编辑），静态分析。2003年6月11日至13日，第十届国际研讨会，SAS 2003，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40325-6/pbk）。莱克特。注释计算。科学。2694, 127-152 (2003).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}等人，Lect。注释计算。科学。2694127--152（2003年；Zbl 1067.68544） 全文： 链接