Christoph Meinel, Anna Slobodová. A Unifying Theoretical Background for Some Bdd-based Data Structures. Formal Methods in System Design, 11(3):223-237, 1997.
@article{MeinelS97, title = {A Unifying Theoretical Background for Some Bdd-based Data Structures}, author = {Christoph Meinel and Anna Slobodová}, year = {1997}, tags = {rule-based, data-flow}, researchr = {https://researchr.org/publication/MeinelS97}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {11}, number = {3}, pages = {223-237}, }