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