@article{ bryant86bdd,
  author = "Randal E. Bryant",
  title = "Graph-Based Algorithms for Boolean Function Manipulation",
  journal = ieeetc,
  volume = "C-35",
  number = 8,
  month = aug,
  year = 1986,
  pages = "677--691",
}