巴勃罗·奇科·德古兹曼;阿马迪奥·卡萨斯;曼纽尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 并行回溯与答案记忆的独立和平行。 （英语） Zbl 1222.68056号 理论与实践。日志。程序。 11，编号4-5，555-574（2011）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.C.De Guzmán}等人，《理论与实践》。日志。程序。11，编号4--5，555--574（2011；Zbl 1222.68056） 全文： DOI程序 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） 全文： DOI程序 链接
阿马迪奥·卡萨斯;曼纽尔·卡罗;曼努埃尔五世（Manuel V.Hermenegildo）。 逻辑程序中无限制独立和并行的注释算法。 （英语） Zbl 1179.68022号 King，Andy（编辑），《基于逻辑的程序综合与转换》。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。计算机科学课堂讲稿4915，138-153（2008）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Casas}等人，Lect。注释计算。科学。4915、138--153（2008年；Zbl 1179.68022） 全文： DOI程序 链接