李建文;朱淑芳;浦、葛光;张丽君;莫舍·瓦尔迪。 基于SAT的显式LTL推理及其在可满足性检查中的应用。 （英语） Zbl 1425.68259号 形式方法系统。设计。 54，第2期，164-190（2019）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，《形式方法系统》。设计。54，第2号，164--190（2019年；Zbl 1425.68259） 全文： DOI程序
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 （英语） 兹比尔1382.68142 正式Asp。计算。 30，第2期，193-217（2018）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，正式Asp。计算。30，第2号，193--217（2018；Zbl 1382.68142） 全文： DOI程序
李建文;浦、葛光;张丽君;王，郑;何继峰;金·古德斯特兰·拉森 关于LTL范式与Büchi自动机之间的关系。 （英语） Zbl 1390.68435号 Liu，Zhiming（编辑）等人，《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，256-270（2013）。MSC公司：60年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人，Lect。注释计算。科学。8051256-270（2013年；Zbl 1390.68435） 全文： DOI程序 arXiv公司