@STRING{fmcad	= {Int'l Conf. on Formal Methods in CAD} }
@InProceedings{SGSD:2016,
  author        = {Amr Sayed-Ahmed and Daniel Gro{\ss}e and Mathias Soeken and Rolf Drechsler},
  title		= {Equivalence Checking Using  {Gr\"obner} Bases},
  booktitle     = fmcad,
  year		= {2016},
  pages         = {169--176}
}