彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 自底向上模型生成方法的阻塞和其他增强。 （英语） Zbl 1468.68279号 J.汽车。推理 64，第2期，197-251（2020年）.MSC公司：68伏15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{R.A.Schmidt}，J.Autom。推理64，第2期，197-251（2020；兹bl 1468.68279） 全文： 内政部
雷娜特·施密特（Renate A.Schmidt）。;乌韦·沃尔德曼 具有阻塞和同余闭包的模态表系统。 （英语） 兹比尔1471.03018 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 38-53 (2015).MSC公司：03B35型 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{U.Waldmann}，Lect。注释计算。科学。9323，38--53（2015；Zbl 1471.03018） 全文： 内政部 链接
玛塔·齐尔迪亚·迈耶 含粘合剂HL片段的扩展决策程序。 （英语） Zbl 1314.03025号 J.汽车。推理 53，第3号，305-315（2014）; 勘误表同上，55，No.2，185（2015）。MSC公司：03B45号 03B35型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Mayer}，J.Autom。推理53，No.3，305--315（2014；Zbl 1314.03025） 全文： 内政部