@inproceedings{ keim97polynomial,
  author = "Martin Keim and Michael Martin and Bernd Becker and Rolf Drechsler and Paul Molitor",
  title = "Polynomial Formal Verification of Multipliers",
  booktitle = "VLSI Test Symposium",
  address = "Monterey, USA",
  year = 1997
}