Randal E. Bryant: Binary Decision Diagrams. Handbook of Model Checking 2018: 191-217