B
[Bry86] Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers 35(8):677-691. IEEE Comp. Soc. Press, August 1986. 
@article{tc35(8)-Bry,
  author =              {Bryant, Randal E.},
  title =               {Graph-Based Algorithms for Boolean Function
                         Manipulation},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Computers},
  volume =              {35},
  number =              {8},
  pages =               {677-691},
  year =                {1986},
  month =               aug,
}
List of authors