穆罕默德·拉扎;菲利普·加德纳 局部推理中的足迹。 （英语） Zbl 1163.68011号 日志。方法计算。科学。 5，第2期，论文4，27页（2009年）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}和\textit{P.Gardner}，日志。方法计算。科学。5，第2期，论文4，27页（2009年；Zbl 1163.68011） 全文： 内政部
穆罕默德·拉扎;克里斯蒂亚诺·卡尔加诺;菲利普·加德纳 具有分离逻辑的自动并行化。 （英语） Zbl 1234.68080号 朱塞佩（编辑），《编程语言和系统》。第18届欧洲编程研讨会，ESOP 2009，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2009，2009年3月22-29日，英国约克。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502348-362（2009）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}等人，Lect。票据计算。科学。5502348-362（2009年；Zbl 1234.68080） 全文： 内政部
穆罕默德·拉扎;菲利普·加德纳 局部推理中的足迹。 （英语） Zbl 1139.68020号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962201-215（2008）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}和\textit{P.Gardner}，莱克特。票据计算。科学。4962201-215（2008年；兹bl 1139.68020） 全文： 内政部 arXiv公司