@收款{zbMATH06630644，作者={Padmanabhan，Ranganathan和Zhang，Yang}，标题={环理论中的自动演绎}，BookTitle={数学软件--ICMS 2016。第五届国际会议，德国柏林，2016年7月11-14日。诉讼}，国际标准图书编号={978-3-319-42431-6；978-3-3169-42432-3}，Pages={67-74}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-42432-3_9}，关键词={68V15,03B35,16Z05}，zbMATH={6630644}，Zbl=｛1434.68642｝}