zbMATH中的参考文献，1标准件)

1. 康法罗涅里，罗伯托；库茨，奥利弗：解构主义下的融合。逻辑、本体论和认知在计算概念发明中的作用（2020）
2. Diaconescu，Răzvan:引入（H），一种基于机构的正式规范和验证语言（2020）
3. 哈夫雷恩，马格纳；罗根巴赫，马库斯：用句法理论函子指定（2020）
4. 拉贝，弗洛里安；沙罗达，亚斯敏：MMT中的图表组合（2019）
5. 曼弗雷德·埃佩（Eppe）；麦克莱恩（Ewen）；康法罗尼埃里（Roberto）；库茨（Kutz），奥利弗（Oliver）；斯科勒默（Schorlemmer），马尔科（Marco）；普拉斯（Plaza），恩里克（Enric）；凯·乌韦（Kai-Uwe）：概念融合的计算框架（2018年）
6. Madeira，Alexandre；Barbosa，Luís s.；Hennicker，Rolf；Martins，Manuel A.：反应系统逐步发展的逻辑（2018）
7. Mossakowski，Till；Krieg Brückner，Bernd:DOL中泛型的部分推出语义（2018）
8. 费尔南多，奥列哈斯；皮诺，埃尔维拉；纳瓦罗，马里萨；兰伯斯，利恩：图形结构导航逻辑机构（2018）
9. Zhang，Min；Ogata，Kazuhiro:从隐藏到可见：将行为理论转化为重写理论的统一框架（2018）
10. Găină，丹尼尔：用户定义共享的混合逻辑中的逻辑编程基础（2017）
11. Găină，丹尼尔：混合逻辑的Birkhoff式计算（2017）
12. Alexander Maletzky；Wolfgang Windsteiger:Vickrey拍卖的形式化：Isabelle和Theorema中两种方法的比较（2017）
13. Meseguer，José：条件重写模公理的严格一致性（2017）
14. 拉贝，弗洛里安：态射公理（2017）
15. Riesco，Adrián；Ogata，Kazuhiro；Futatsugi，Kokichi：CafeOBJ的Maude环境（2017）
16. Roşu，Grigore:匹配逻辑（2017）
17. Zeidler，Clemens；Weber，Gerald；Gavryushkin，Alex；Lutteroth，Christof：用于基于约束的布局编辑的平铺代数（2017）
18. Diaconescu，Răzvan:一阶视图的函数语义（2016）
19. Jin，Miaomiao；Short，Michael:多孔腐蚀沉积物中两相薄膜沸腾的多物理模型（2016）
20. Madeira，Alexandre；Barbosa，Luis；Hennicker，Rolf；Martins，Manuel A.：带绑定的动态逻辑及其在反应系统开发中的应用（2016）