Branching Programs And Binary Decision Diagrams door Ingo Wegener