@进行中{RitircBiereKauers-SCSC18，author={Daniela Ritirc、Armin Biere和Manuel Kauers}，title={用于算术电路验证的实用多项式演算}，booktitle={第三届可满足性检验和符号计算国际研讨会（SC2'18）}，编辑＝{Anna M.Bigatti和Martin Brain}，页数={61-76}，publisher={{CEUR-WS}}，年份={2018年}，}