Branching Programs And Binary Decision Diagrams by Ingo Wegener