王斌;沈军;张树涛;张志正 关于\（\mathrm｛LP^｛MLN｝｝）程序的强等价性。 （英语） Zbl 1509.68039号 日志。方法计算。科学。 17，第1号，第4号论文，46页（2021年）.理学硕士：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wang}等人，Log。方法计算。科学。17，第1号，第4号论文，46页（2021；Zbl 1509.68039） 全文： arXiv公司 链接
王斌;沈军;张树涛;张志正 关于\（\mathrm{LP^{MLN}}\）程序的强等价性。 （英语） Zbl 07453109号 Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306114-125（2019）。理学硕士：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wang}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306114-125（2019年；Zbl 07453109） 全文： arXiv公司 链接
张志正;王斌;张树涛 具有分级自省的逻辑编程。 （英语） 兹比尔1375.68038 芬丹。通知。 147，第1期，133-158（2016）.理学硕士：68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Fundam。通知。147，编号1，133--158（2016；Zbl 1375.68038） 全文： DOI程序