@InCollection{zbMATH06176201，作者={Cialdea Mayer，Marta}，Title={具有绑定、传递性和关系层次结构的混合逻辑的证明过程}，BookTitle={自动扣除--CADE-24。第24届自动扣减国际会议，美国纽约州普莱西德湖，2013年6月9日至14日。诉讼}，国际标准图书编号={978-3-642-38573-5}，Pages={76-90}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-38574-2_5}，关键词={03B35,03B45,68T15}，zbMATH={6176201}，Zbl={1381.03018}}