@inproceedings{ bryant95verification,
  author = "Randal E. Bryant and Yirng-An Chen",
  title = "Verification of Arithmetic Circuits with Binary Moment Diagrams",
  booktitle = "Design Automation Conference",
  pages = "535-541",
  year = 1995
}