@inproceedings{UW1993,
               author = {U. Kebschull, W. Rosenstiel},
               title = {Efficient Graph-Based Computation and Manipulation of Functional Decision Diagrams},
               booktitle = {EDAC/Euroasic},
               year = {1993},
               address = {Paris}
}