@inproceedings{ hamaguchi95efficient,
  author = "K. Hamaguchi and A. Morita and S. Yajima",
  title = "Efficient Construction of Binary Moment Diagrams for Verifying Arithmetic Circuits",
  booktitle = "Proc. Int'l Conf. on CAD",
  year = 1995,
  pages = "78--82"
}