巴托斯·贝德纳西克;斯特凡·德姆里;费尔瓦里，劳尔;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 （英语） Zbl 07672671号 ACM事务处理。计算。日志。 24，第2号，第12条，46页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人，《美国医学杂志》。计算。日志。24，第2号，第12条，46页（2023；Zbl 07672671） 全文： 内政部
克里斯托夫·马提亚;简斯·佩格尔;弗洛里安·祖勒格 保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 （英语） Zbl 07650597号 ACM事务处理。计算。日志。 24，第1号，第1条，第76页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit｛C.Matheja｝等人，ACM Trans。计算。日志。24，第1号，第1条，第76页（2023年；Zbl 07650597） 全文： 内政部 arXiv公司 链接
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号 ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.MSC公司：68问题85 03B70型 2007年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210） 全文： 内政部
斯蒂芬·德姆里;Deters，摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 （英语） Zbl 1367.03053号 ACM事务处理。计算。日志。 17，第2号，第12条，44页（2016年）.MSC公司：03B70型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，ACM Trans。计算。日志。17，第2号，第12条，44页（2016；Zbl 1367.03053） 全文： 内政部
斯特凡·德姆里;Deters，摩根 二元分离逻辑及其内圈。 （英语） Zbl 1354.03036号 ACM事务处理。计算。日志。 16，第2号，第15条，第36页（2015年）.MSC公司：03B70型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，ACM Trans。计算。日志。16，第2号，第15条，36页（2015；Zbl 1354.03036） 全文： 内政部 哈尔
达米亚诺·扎纳尔迪尼;Genaim，萨米尔 场敏感可达性和周期性的推断。 （英语） Zbl 1354.68035号 ACM事务处理。计算。日志。 第15号第4条第33条第41页（2014年）.MSC公司：68甲15 03B70型 68第05页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Zanardini}和\textit{S.Genaim}，ACM Trans。计算。日志。15，第4号，第33条，第41页（2014；Zbl 1354.68035） 全文： 内政部 arXiv公司
格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 并发数据结构线性化的一种完善的证明技术。 （英语） Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页（2014年）.MSC公司：68第05页 60年第68季度 68问题85 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人，《美国医学杂志》。计算。日志。第15条第4款第31条第37页（2014年；Zbl 1354.68066） 全文： 内政部 链接