阿伦·南帕利;蒂莫西·张;罗马克里希南，C.R。 概率逻辑程序中基于约束的推理。 （英语） Zbl 1451.68264号 理论与实践。日志。程序。 18，编号3-4，638-655（2018）。MSC公司：68T27型 68N17号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Nampally}等人，《理论与实践》。日志。程序。18、编号3--4、638--655（2018；Zbl 1451.68264） 全文： 内政部 arXiv公司
阿伦·南帕利;罗马克里希南，C.R。 概率逻辑程序中使用提升解释的推理。 （英语） Zbl 1428.68092号 Carro，Manuel（编辑）等人，《第32届逻辑编程国际会议的技术交流》，ICLP 2016年10月16日至21日，美国纽约州纽约市。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第15条，第15页（2016年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nampally}和\textit{C.R.Ramakrishnan}，OASIcs--开放存取服务。通知。52，第15条，第15页（2016；兹bl 1428.68092） 全文： 内政部 arXiv公司