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

1. 基于SCUR的正式语言验证（基于SCUR的规范）
2. 德兰，弗朗西斯科；梅斯盖尔，何塞；罗查，卡米洛：有序有序条件规范的基本汇合模公理（2020）
3. Găină，Daniel；Nakamura，Masaki；Ogata，Kazuhiro；Futatsugi，Kokichi：通过合并推出的终止稳定性和充分完整性（2020年）
4. Iohara，Kenji（编辑）；Malbos，Philippe（编辑）；Saito，Masa Hiko（编辑）；Takayama，Nobuki（编辑）：微分方程的两个代数旁路：Gröbner基和quivers（2020）
5. Găină，Daniel；Ţuţu，Ionuţ：混合动态一阶逻辑的Birkhoff完备性（2019）
6. Hamana，Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性（2019）
7. 费雷林，伊莎贝尔；马丁斯，曼努埃尔A.：隐藏逻辑的简要概述（2018）
8. Lucas，萨尔瓦多；Gutiérrez，Raúl:有序排序一阶理论逻辑模型的自动合成（2018）
9. Lucas，Salvador；Meseguer，José；Gutiérrez，Raúl:条件重写系统的2D依赖对框架。一： 定义和基本处理器（2018）
10. Găină，丹尼尔：用户定义共享的混合逻辑中的逻辑编程基础（2017）
11. Lucas，Salvador；Meseguer，José：证明条件项重写系统终止性质的依赖对（2017）
12. Meseguer，José：条件重写模公理的严格一致性（2017）
13. Meseguer，José；Skeirik，Stephen:初始序排序代数中的方程公式和模式运算（2017）
14. Riesco，Adrián；Ogata，Kazuhiro：来自半正式证明文件的正式证明生成器（2017）
15. Riesco，Adrián；Ogata，Kazuhiro；Futatsugi，Kokichi：CafeOBJ的Maude环境（2017）
16. Roşu，Grigore:匹配逻辑（2017）
17. Diaconescu，Răzvan:一阶视图的函数语义（2016）
18. Lucas，Salvador；Meseguer，José：条件重写中的范式和范式理论（2016）
19. Meseguer，José：有序排序重写和同余闭包（2016）
20. Ahmed，Waqar；Hasan，Osman:使用定理证明走向形式化故障树分析（2015）