@article{orderedandordecompositionandbinary,
  title = {Ordered {AND, OR}-Decomposition and Binary-Decision Diagram},
  author = {Yong Lai and Dayou Liu},
  year = {2012},
  eprint = {1208.2852},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1208.2852v2},
}