朱利奥·马里诺；莫雷诺·纳瓦罗，胡安·何塞；苏珊娜·穆尼奥斯·赫南德斯 实施建设性内涵否定。 （英语） Zbl 1191.68151号 新一代计算。 27，第1号，25-56（2009）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Mariño}等人，《新一代计算》。27，第1号，25-56（2009；Zbl 1191.68151） 全文： 内政部
朱利奥·马里诺；安吉尔·赫兰兹；莫雷诺·纳瓦罗，胡安·何塞 使用部分谓词进行需求分析。 （英语） Zbl 1112.68023号 理论与实践。日志。程序。 7，编号1-2，153-182（2007）.MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Mariño}等人，《理论与实践》。日志。程序。7，编号1--2，153-182（2007；Zbl 1112.68023） 全文： 内政部
苏珊娜·穆尼奥斯·亨德斯；朱利奥·马里诺；莫雷诺·纳瓦罗，胡安·何塞 建设性内涵否定。 （英语） Zbl 1122.68382号 Kameyama，Yukiyoshi（编辑）等人，《功能和逻辑编程》。第七届国际研讨会，FLOPS 2004，日本奈良，2004年4月7日至9日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21402-X/pbk）。计算机科学课堂讲稿2998，39-54（2004）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Muñoz-Hernández}等人，Lect。票据计算。科学。2998，39-54（2004年；兹bl 1122.68382） 全文： 内政部