zbMATH中的参考文献（参考文献6条,2标准条款)

1. Cialdea Mayer，Marta:一个处理名词、绑定词、及物性和关系层次的证明者（2020）
2. Mayer，Marta Cialdea:带有粘合剂的HL片段的扩展决策程序（2014）
3. 塞里托，塞雷内拉；Mayer，Marta Cialdea:一种基于tableau的决策过程，用于混合逻辑的表达片段，带绑定器、逆向和全局模式（2013）
4. Cialdea Mayer，Marta:带绑定器的混合逻辑的证明过程，传递性和关系层次（2013）
5. 塞里托，塞雷内拉；Cialdea Mayer，Marta:一个基于tableaux的决策程序，适用于一类含粘合剂的混合配方奶粉（2011）
6. 塞里托，塞雷内拉；Mayer，Marta Cialdea:混合逻辑表中名义等式的有效方法（2010）