Body-Decision Diagrams
Body-Decision Diagrams