顾涛;法比奥·扎纳西 概率逻辑编程的协代数语义。 （英语） Zbl 07350768号 日志。方法计算。科学。 17，第2期，第2号论文，35页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Gu}和\textit{F.Zanasi}，日志。方法计算。科学。17，第2号，第2号论文，第35页（2021年；Zbl 07350768） 全文： arXiv公司 链接
顾涛;法比奥·扎纳西 概率逻辑规划的联合观点。 （英语） Zbl 07649893号 Roggenbach，Markus（ed.）等人，第八届计算机科学中的代数和余代数会议，2019年CALCO，英国伦敦，2019月3日至6日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。139，第10条，第21页（2019年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Gu}和\textit{F.Zanasi}，LIPIcs——莱布尼茨国际程序。通知。139，第10条，第21页（2019年；Zbl 07649893） 全文： 内政部