Christoph Meinel Anna Slobodová A Unifying Theoretical Background for Some Bdd-based Data Structures. 223-237 1997 11 Formal Methods in System Design 3 db/journals/fmsd/fmsd11.html#MeinelS97