@STRING{isvlsi	= {IEEE Annual Symposium on VLSI} }
@inproceedings{SKGD:2015,
  author    = {Amr Sayed-Ahmed and Ulrich K\"uhne and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {Recurrence Relations Revisited: Scalable Verification of Bit Level Multiplier Circuits},
  booktitle = isvlsi,
  pages     = {1--6},
  year      = {2015}
}