@inproceedings{KaufmannBiere-CASC20,
  author    = {Daniela Kaufmann and
               Armin Biere},
  editor    = {Fran{\c{c}}ois Boulier and
               Matthew England and
               Timur M. Sadykov and
               Evgenii V. Vorozhtsov},
  title     = {Nullstellensatz-Proofs for Multiplier Verification},
  booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop,
               {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12291},
  pages     = {368--389},
  publisher = {Springer},
  year      = {2020},
}