@article{cats9-8,
  author{Kevin Henshall, Peter Schachte, Harald Sondergaard and Leigh Whiting},
  title={An Algorithm for Affine Approximation
of Binary Decision Diagrams}
  journal={Chicago Journal of Theoretical Computer Science},
  volume={2010},
  number={11},
  publisher={University of Chicago},
  month={June},
  year={2010}
}