Frames: Reduction of Size of Binary Decision Diagrams Using an Alternative Representation | Publicación