M. Wild and Y. Semegni, “Compression with Wildcards: All <i>k</i>-Models of a Binary Decision Diagram”, Contemp. Math., vol. 7, no. 3, pp. 2702–2720, Apr. 2026.