巴托什·贝德纳尔奇克；斯特凡·德姆里；劳尔·费尔瓦里；阿莱西奥·曼苏蒂 关于用模态逻辑构成有限森林。 （英文） 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 07577569号 日志。方法计算。科学。 18，第3号，第5号文件，第46页（2022）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri}，日志。方法计算。科学。18，第3号，第5号论文，46页（2022；Zbl 07577569） 全文： arXiv公司 链接
斯特凡·德姆里 关于时间逻辑和分离逻辑。 （英文） Zbl 1487.68080号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第1条，第4页（2018年）。MSC公司：68号30 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}，LIPIcs——莱布尼茨国际程序。通知。120，第1条，第4页（2018；Zbl 1487.68080） 全文： 内政部
斯蒂芬·德姆里；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 1398.03151号 J.应用。非类别。日志。 25，第1期，50-99（2015）.MSC公司：03B70号 03B25号 03B44号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，J.Appl。非类别。日志。25，第1号，50--99（2015；Zbl 1398.03151） 全文： 内政部 哈尔
斯特凡·德姆里；雷吉斯·加斯科 验证定性约束。 （英文） Zbl 1157.68048号 西奥。计算。科学。 409，第1号，24-40（2008）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon}，Theor。计算。科学。409，编号1，24--40（2008；Zbl 1157.68048） 全文： 内政部
斯特凡·德姆里 整数周期约束上的LTL。 （英文） Zbl 1097.68073号 西奥。计算。科学。 360，编号1-3，96-123（2006）.MSC公司：60年第68季度 03B44号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri}，Theor。计算。科学。360，编号1--3，96-123（2006；Zbl 1097.68073） 全文： 内政部 哈尔
斯特凡·德姆里；汉斯·德·尼维尔 通过一阶逻辑用逆确定正则语法逻辑。 （英文） 兹比尔1083.03023 J.逻辑语言信息。 14，第3期，289-329（2005）.MSC公司：03B45号 2012年第68季度 03B25号 03B20型 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{H.de Nivelle}，J.Logic Lang.Inf.14，No.3，289--329（2005；Zbl 1083.03023） 全文： 内政部 arXiv公司