@InProceedings{Hen-Sch-Son-Whi:CATS09,
  author        = {K. Henshall and P. Schachte and H. S{\o}ndergaard and L. Whiting},
  title         = {Boolean Affine Approximation with Binary Decision Diagrams},
  editor        = {R. Downey and P. Manyem},
  booktitle     = {Theory of Computing 2009},
  series        = {Conferences in Research and Practice in Information Technology},
  volume        = {94},
  pages         = {121--129},
  year          = {2009},
  url           = {http://crpit.com/Vol94.html},
}