伯恩德·芬克贝纳 克里斯托弗·哈恩 菲利普·卢克特 马文·斯坦格 Leander Tentrup公司 从超性质合成反应体系。 289-306 2018 CAV（1） https://doi.org/10.1007/978-3-319-96145-3_16 conf/cav/2018-1 db/conf/cav/cav2018-1.html#FinkbeinerHLST18