@收款{zbMATH06213580，作者={Tews，Hendrik}，标题={Coq}}中余代数逻辑的形式化割消，BookTitle={使用分析表和相关方法进行自动推理。第22届国际会议，tableaux 2013，法国南希，2013年9月16日至19日。诉讼}，国际标准图书编号={978-3-642-40536-5}，页码={257--272}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-40537-2_22}，关键词={68T15,03B35,03B45,03F05,03G30}，zbMATH={6213580}，Zbl={1401.68280}}