@article{ stanion99implicit,
  author = "Ted Stanion",
  title = "Implicit Verification of Structurally Dissimilar Arithmetic Circuits",
  journal = "Proceedings of the 1999 IEEE International Conference on Computer Design (ICCD)",
  year = 1999,
  pages = "46--50"
}