Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol: Random Access on Narrow Decision Diagrams in External Memory. SPIN 2024: 137-145