@article{bryant:bdd92, Author = {Randal E. Bryant}, Journal = {{ACM} Computing Surveys}, Number = {3}, Pages = {293--318}, Title = {Symbolic Manipulation with Ordered Binary-Decision Diagrams}, Volume = {24}, Year = {1992}}