Compiling Binary Decision Diagrams with Interrupt-Based Downsizing. - Clemens Dubslaff; Joshua Wirtz (Principles of Verification (3), 2024)