保罗·沙卡里安;奥斯汀帕克;杰拉尔多·西马里;Subrahmanian，Venkatramana V.S.公司。 带注释的概率时序逻辑。 （英语） Zbl 1352.03043号 ACM事务处理。计算。日志。 第12号第2条第14条第44页（2011年）.MSC公司：03B70号 03B44号 03B48号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Shakarian}等人，ACM Trans。计算。日志。12，第2号，第14条，第44页（2011年；Zbl 1352.03043） 全文： 内政部
杰拉尔多·西马里;苏布拉曼尼亚，V.S。 概率逻辑程序中的外推推理。 （英语） Zbl 1237.68050号 Hermenegildo，Manuel（编辑）等人，第26届逻辑编程国际会议（ICLP 2010）的技术交流，2010年7月16日至19日，英国苏格兰爱丁堡。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik（ISBN 978-3-939897-17-0）。LIPIcs–Leibniz International Proceedings in Informatics 192-201，电子版（2010）。MSC公司：68N17号 03B48号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.Simari}和\textit{V.S.Subrahmanian}，LIPIcs——莱布尼茨国际程序。通知。7、192--201（2010；Zbl 1237.68050） 全文： 内政部 链接
马蒂亚斯·布罗切勒;杰拉尔多·西马里一世。;苏布拉曼尼亚，V.S。 使用直方图更好地回答概率逻辑程序的查询。 （英语） Zbl 1251.68052号 Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649，40-54（2009）。MSC公司：68N17号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Broecheler}等人，Lect。注释计算。科学。5649，40-54（2009年；兹比尔1251.68052） 全文： 内政部