吕迪格·埃勒斯；伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109） 全文： 内政部 arXiv公司
吕迪格·埃勒斯；伯恩德·芬克贝纳 反应安全。 （英语） Zbl 1457.68163号 D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，178-191（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，电子。程序。西奥。计算。科学。（EPTCS）54，178--191（2011；Zbl 1457.68163） 全文： arXiv公司 链接