@收款{zbMATH07204439，作者={Intrigila、Benedetto和Manzonetto、Giulio和Polonsky、Andrew}，标题={反驳{Sall{\'e}}的长期猜想}，BookTitle={第二届计算和扣除形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序}，国际标准图书编号={978-3-95977-047-7}，页码={18}，注={Id/No 20}，年份={2017年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.FSCD.2017.20}，关键词={03B40}，zbMATH={7204439}，Zbl={1434.03052}}