@inproceedings{ kapur96mechanically,
  author = "{D. Kapur} and {M. Subramaniam}",
  title = "Mechanically verifying a Family of multiplier Circuits",
  booktitle = "Proceedings of the Eighth International Conference on Computer Aided Verification {CAV}",
  volume = "1102",
  publisher = "Springer Verlag",
  address = "New Brunswick, NJ, USA",
  editor = "{Rajeev Alur} and {Thomas A. Henzinger}",
  pages = "135--146",
  year = "1996",
}