@InCollection｛zbMATH07178973，作者={Brown，Chad E.和Gauthier，Thibault和Kaliszyk，Cezary和Sutcliffe，Geoff和Urban，Josef}，标题={{GRUNGE}：大统一{ATP}挑战}，BookTitle={自动扣除--CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日。诉讼}，国际标准图书编号={978-3-030-29435-9；978-3-0.30-29436-6}，页码={123--141}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-29436-6_8}，关键词={03B35,68V15}，zbMATH={7178973}}