马蒂亚斯·霍尔兹尔;诺拉·科赫;菲利普·迈耶;安德烈亚斯·施罗德;伦茨·贝尔兹纳;玛丽安·布什;安东·法辛;安娜贝拉·克拉尔;克里斯蒂安·克罗伊斯;莱思·雷德 PST颂歌。 （英语） Zbl 1453.68005号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 13-23 (2015).MSC公司：68-03 01A70号 01A73号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hölzl}等人，Lect。注释计算。科学。8950，13-23（2015；Zbl 1453.68005） 全文： 内政部
马蒂亚斯·霍尔兹尔;马克斯·迈耶;马丁·威尔辛 您更喜欢哪些软约束？ （英语） Zbl 1347.68197号 Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，189-205（2009）。MSC公司：第68季度第42季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Hölzl｝等人，电子。注释Theor。计算。科学。238，第3号，189--205（2009；Zbl 1347.68197） 全文： 内政部